WorldCat Identities

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
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

Ü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ů
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
Analyticity and sense by Miroslav Mleziva( Book )

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

O trojhodnotové logice by Miroslav Mleziva( Book )

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

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
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
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

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
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

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

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

Studia logica( Book )

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

Studia logica( Book )

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.86 (from 0.48 for Über das ... to 0.98 for Neklasicke ...)

Alternative Names
Miroslav Mleziva český logik a překladatel

Miroslav Mleziva logicus uit Tsjecho-Slowakije (1929-1990)

Languages
Czech (18)

German (12)

English (8)