TYTUŁ
Bulletin of the Section of Logic 1972 / Tom 1 / Numer 1
1972 / Tom 1 / Numer 1
Wybierz inny 
TYTUŁ ARTYKUŁU
STRONY
CZYNNOŚCI
-
The Conference "Logical Calculi"s. 1CZYSTY TEKSTBIBTEX
-
An Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logicss. 2 - 3CZYSTY TEKSTBIBTEX
-
Generalized Algebras of Past and their Applications to Many-Valued Logics with Infinitely Long Formulass. 4 - 12CZYSTY TEKSTBIBTEX
-
Logical Systems with Implication and Theories of Quasi-Implicative Algebrass. 13 - 22CZYSTY TEKSTBIBTEX
-
On Logics of Deedss. 23 - 31CZYSTY TEKSTBIBTEX
-
The Proof of Ł-Decidability of Lewis' System S5s. 32 - 34CZYSTY TEKSTBIBTEX
-
On Non Equivalence of Two Definitions of the Algebras of Łukasiewiczs. 35 - 37CZYSTY TEKSTBIBTEX
-
On Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logicss. 38 - 44CZYSTY TEKSTBIBTEX
-
The Deduction Theorems Valid in Certain Fragments of the Lewis' System S2 and the System of Feys-von Wrights. 45 - 52CZYSTY TEKSTBIBTEX
-
An Uniform Method of Proof of the Completeness Theorem for the Equivalential Propostional Calculus and for some of its Extensionss. 53 - 62CZYSTY TEKSTBIBTEX
-
On Invariant Systems and Structural Completeness of Łukasiewicz's Logicss. 63 - 68CZYSTY TEKSTBIBTEX
-
Some Properties of Strongly Finite Propositional Calculis. 69 - 71CZYSTY TEKSTBIBTEX
-
"A Logic Stronger than Intuitionism", Sabine Görnemann, [w:] „The Journal of Symbolic Logic”, Nr 36, R. 1971 : [recenzja]s. 72 - 73CZYSTY TEKSTBIBTEX
-
Three Notions of Model of a Propositional Calculus : (Review of some Papers of R. Harrop and T. Smiley)s. 74 - 77CZYSTY TEKSTBIBTEX
-
Conference for the History of Logic, Kraków, April 22-24, 1972, Polands. 78CZYSTY TEKSTBIBTEX
