Mleziva, Miroslav
Overview
| Works: | 25 works in 46 publications in 3 languages and 160 library holdings |
|---|---|
| Roles: | Author |
| Classifications: | QA9, 510.1 |
Publication Timeline
.
Most widely held works by
Miroslav Mleziva
Analyticity and sense by
Miroslav Mleziva(
Book
)
9 editions published in 1969 in English and Czech and held by 47 WorldCat member libraries worldwide
Studie českého logika o analyticitě a smyslu usiluje o založení takové sémantické koncepce, která by umožňovala na jednotném a všeobecně přijatelném podkladě adekvátní definici tzv. extensionálních i tzv. intensionálních
9 editions published in 1969 in English and Czech and held by 47 WorldCat member libraries worldwide
Studie českého logika o analyticitě a smyslu usiluje o založení takové sémantické koncepce, která by umožňovala na jednotném a všeobecně přijatelném podkladě adekvátní definici tzv. extensionálních i tzv. intensionálních
Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls by
Miroslav Mleziva(
Book
)
4 editions published in 1959 in German and Czech and held by 26 WorldCat member libraries worldwide
4 editions published in 1959 in German and Czech and held by 26 WorldCat member libraries worldwide
Über das Enthaltensein des klassischen Aussagenkalküls in den nicht-klassischen Aussagenkalkülen = o obsažení klasického
výrokového kalkulu v neklasických výrokových kalkulech by
Miroslav Mleziva(
Book
)
6 editions published in 1966 in German and Czech and held by 24 WorldCat member libraries worldwide
Že všechny známějši neklasické výrokové kalkuly obsahují v jistém smyslu klasický kalkul jako vlastní část, dokazuje autor analogicky jako Łukasicwicz, předpokládaje shodnost pravidla substituce ve zkoumaných kalkulech. Důkaz obsažení je proveden pro kalkul intuicionistický, minimální, Churchův, Ackermannův. Lewisův a Łukasiewicz-Wajsbergův. Kromě toho zkoumá autor obsa žení systémů m-hodnotových v soustavách více než m-hodnotových a věnuje pozornost obsažení klasické dvouhodnotové logiky ve vícehodnotových funkčně úplných systémech. Předností práce je, že odvozuje formule probíraných neklasických kalkulů
6 editions published in 1966 in German and Czech and held by 24 WorldCat member libraries worldwide
Že všechny známějši neklasické výrokové kalkuly obsahují v jistém smyslu klasický kalkul jako vlastní část, dokazuje autor analogicky jako Łukasicwicz, předpokládaje shodnost pravidla substituce ve zkoumaných kalkulech. Důkaz obsažení je proveden pro kalkul intuicionistický, minimální, Churchův, Ackermannův. Lewisův a Łukasiewicz-Wajsbergův. Kromě toho zkoumá autor obsa žení systémů m-hodnotových v soustavách více než m-hodnotových a věnuje pozornost obsažení klasické dvouhodnotové logiky ve vícehodnotových funkčně úplných systémech. Předností práce je, že odvozuje formule probíraných neklasických kalkulů
O trojhodnotové logice by
Miroslav Mleziva(
Book
)
5 editions published in 1964 in Czech and held by 12 WorldCat member libraries worldwide
Úvodní stať stručně sleduje jednak vznik, axiomatizaci, funkční úplnost a použitelnost trojhodnotové logiky, jednak její poměr k logice dvouhodnotové. Následuje jádro publikace, axiomatizace trojhodnotové logiky pojmově jednodušší než dosavadní systémy a navíc pojmově spjaté s dvouhodnotovou logikou
5 editions published in 1964 in Czech and held by 12 WorldCat member libraries worldwide
Úvodní stať stručně sleduje jednak vznik, axiomatizaci, funkční úplnost a použitelnost trojhodnotové logiky, jednak její poměr k logice dvouhodnotové. Následuje jádro publikace, axiomatizace trojhodnotové logiky pojmově jednodušší než dosavadní systémy a navíc pojmově spjaté s dvouhodnotovou logikou
Analyticity and sense by
Miroslav Mleziva(
Book
)
1 edition published in 1969 in Czech and held by 10 WorldCat member libraries worldwide
1 edition published in 1969 in Czech and held by 10 WorldCat member libraries worldwide
Über das Enthaltensein des klassischen Aussagenkalküls in den nicht-klassischen Aussagenkalkülen by
Miroslav Mleziva(
Book
)
1 edition published in 1966 in German and held by 8 WorldCat member libraries worldwide
1 edition published in 1966 in German and held by 8 WorldCat member libraries worldwide
O trojhodnotové logice by
Miroslav Mleziva(
Book
)
1 edition published in 1964 in Czech and held by 7 WorldCat member libraries worldwide
1 edition published in 1964 in Czech and held by 7 WorldCat member libraries worldwide
O trojhodnotové Logice : [[mit deutscher u. russ. Zsfassung:] Über die dreiwertige Logik] by
Miroslav Mleziva(
Book
)
1 edition published in 1964 in German and held by 4 WorldCat member libraries worldwide
1 edition published in 1964 in German and held by 4 WorldCat member libraries worldwide
Kaj je logika by
Karel Berka(
Book
)
2 editions published in 1962 in Czech and held by 3 WorldCat member libraries worldwide
Publikace nechce ani plnit požadavky kladené na učebnici, ani podat soustavu logiky. Chce však formulovat koncepci odpovídající soudobému stavu poznatků a založenou na vědeckém světovém názoru. Úvodem objasňuje populární formou základní termíny a některé logické teorie. Poté vykládá teorii deduktivních soustav a předmět logiky, kritizuje současné názory na logiku a její místo v soustavě věd a vymezuje její vztah k ostatním vědním oborům, zejména k filosofii. Závěrem klade otázku, jak lze aplikovat logiku v metodologii, technice a kybernetice
2 editions published in 1962 in Czech and held by 3 WorldCat member libraries worldwide
Publikace nechce ani plnit požadavky kladené na učebnici, ani podat soustavu logiky. Chce však formulovat koncepci odpovídající soudobému stavu poznatků a založenou na vědeckém světovém názoru. Úvodem objasňuje populární formou základní termíny a některé logické teorie. Poté vykládá teorii deduktivních soustav a předmět logiky, kritizuje současné názory na logiku a její místo v soustavě věd a vymezuje její vztah k ostatním vědním oborům, zejména k filosofii. Závěrem klade otázku, jak lze aplikovat logiku v metodologii, technice a kybernetice
Neklasické logiky by
Miroslav Mleziva(
Book
)
1 edition published in 1970 in Czech and held by 3 WorldCat member libraries worldwide
Ucelený, souhrnný a soustavný výklad neklasických logik (intuicionistické, modálních, logik striktní implikace a vícehodnotových) se pohybuje na jisté elementární úrovni a je orientován hlavně k problémům výrokové logiky, vjejížsféře se právě vyznačené logické systémy navzájem liší. Autor je podrobuje kritickému hodnocení z hlediska kritéria logičnosti soustav a vyjasňuje vzájemné vztahy mezi nimi a klasickou logikou. Celá práce je cennýmpřínosem propodrobnější poznání situace v moderní logice
1 edition published in 1970 in Czech and held by 3 WorldCat member libraries worldwide
Ucelený, souhrnný a soustavný výklad neklasických logik (intuicionistické, modálních, logik striktní implikace a vícehodnotových) se pohybuje na jisté elementární úrovni a je orientován hlavně k problémům výrokové logiky, vjejížsféře se právě vyznačené logické systémy navzájem liší. Autor je podrobuje kritickému hodnocení z hlediska kritéria logičnosti soustav a vyjasňuje vzájemné vztahy mezi nimi a klasickou logikou. Celá práce je cennýmpřínosem propodrobnější poznání situace v moderní logice
Die mittelbare Axiomatisierung der die Implikation Systeme des zweiwertigen Aussagenkalküls by
Miroslav Mleziva(
Book
)
1 edition published in 1959 in German and held by 2 WorldCat member libraries worldwide
1 edition published in 1959 in German and held by 2 WorldCat member libraries worldwide
Über das Enthaltensein des klassischen Aussagenkalküls in den nicht-klassischen Aussagenkalkülen. O obsažení klasického
výrokového kalkulu v neklasických výrokových kalkulech. (Aus dem tschechischen Manuskript ins Deutsche übersetzt von
L. Menzel.) [With a summary in Czech.] by
Miroslav MLEZIVA(
Book
)
1 edition published in 1966 in German and held by 2 WorldCat member libraries worldwide
1 edition published in 1966 in German and held by 2 WorldCat member libraries worldwide
Introduction to logic and to the methodology of deductive sciences by
Alfred Tarski(
Book
)
1 edition published in 1966 in Czech and held by 1 WorldCat member library worldwide
First published in Polish in 1936, this classic work was originally written as a popular scientific book - one that would present to the educated layman a clear picture of certain powerful trends of thought in modern logic
1 edition published in 1966 in Czech and held by 1 WorldCat member library worldwide
First published in Polish in 1936, this classic work was originally written as a popular scientific book - one that would present to the educated layman a clear picture of certain powerful trends of thought in modern logic
O některých podnětech, jež vedou ke konstrukei nechrysippovských logik by
Otakar Zich(
Book
)
1 edition published in 1974 in Undetermined and held by 1 WorldCat member library worldwide
1 edition published in 1974 in Undetermined and held by 1 WorldCat member library worldwide
Automatické dokazování teorémů by
Arnošt Veselý(
Book
)
1 edition published in 1991 in Czech and held by 1 WorldCat member library worldwide
1 edition published in 1991 in Czech and held by 1 WorldCat member library worldwide
Die mittelbare Axiomatisierung der die Implikation enthaltenen Systeme des zweiwertigen Aussagekalküls by
Miroslav Mleziva(
Book
)
1 edition published in 1959 in German and held by 1 WorldCat member library worldwide
1 edition published in 1959 in German and held by 1 WorldCat member library worldwide
Studia logica(
Book
)
1 edition published in 1979 in Undetermined and held by 1 WorldCat member library worldwide
1 edition published in 1979 in Undetermined and held by 1 WorldCat member library worldwide
Algebraická teorie operace logické konselvence by
Petr Jirků(
Book
)
1 edition published in 1991 in Czech and held by 1 WorldCat member library worldwide
1 edition published in 1991 in Czech and held by 1 WorldCat member library worldwide
Studia logica(
Book
)
1 edition published in 1975 in Czech and held by 1 WorldCat member library worldwide
1 edition published in 1975 in Czech and held by 1 WorldCat member library worldwide
Studia logica(
Book
)
1 edition published in 1974 in Undetermined and held by 1 WorldCat member library worldwide
1 edition published in 1974 in Undetermined and held by 1 WorldCat member library worldwide
more
fewer
Audience Level
| 0 |
 |
1 | ||
| Kids | General | Special | ||
Related Identities
