-
On Invariant Systems and Structural Completeness of Łukasiewicz's Logicss. 63 - 68CZYSTY TEKST
Marek Tokarz, On Invariant Systems and Structural Completeness of Łukasiewicz's Logics , Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 63 - 68
BIBTEX@Article{ authors = " Marek Tokarz", title = "On Invariant Systems and Structural Completeness of Łukasiewicz's Logics ", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "63 - 68" }
-
Some Properties of Strongly Finite Propositional Calculis. 69 - 71CZYSTY TEKST
Ryszard Wójcicki, Some Properties of Strongly Finite Propositional Calculi , Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 69 - 71
BIBTEX@Article{ authors = " Ryszard Wójcicki", title = "Some Properties of Strongly Finite Propositional Calculi ", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "69 - 71" }
-
"A Logic Stronger than Intuitionism", Sabine Görnemann, [w:] „The Journal of Symbolic Logic”, Nr 36, R. 1971 : [recenzja]s. 72 - 73CZYSTY TEKST
Marek Tokarz, "A Logic Stronger than Intuitionism", Sabine Görnemann, [w:] „The Journal of Symbolic Logic”, Nr 36, R. 1971 : [recenzja], Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 72 - 73
BIBTEX@Article{ authors = " Marek Tokarz", title = ""A Logic Stronger than Intuitionism", Sabine Görnemann, [w:] „The Journal of Symbolic Logic”, Nr 36, R. 1971 : [recenzja]", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "72 - 73" }
-
Three Notions of Model of a Propositional Calculus : (Review of some Papers of R. Harrop and T. Smiley)s. 74 - 77CZYSTY TEKST
Marek Tokarz, Ryszard Wójcicki, Three Notions of Model of a Propositional Calculus : (Review of some Papers of R. Harrop and T. Smiley), Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 74 - 77
BIBTEX@Article{ authors = " Marek Tokarz, Ryszard Wójcicki", title = "Three Notions of Model of a Propositional Calculus : (Review of some Papers of R. Harrop and T. Smiley)", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "74 - 77" }
-
Conference for the History of Logic, Kraków, April 22-24, 1972, Polands. 78CZYSTY TEKST
Conference for the History of Logic, Kraków, April 22-24, 1972, Poland , Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 78
BIBTEX@Article{ authors = "", title = "Conference for the History of Logic, Kraków, April 22-24, 1972, Poland ", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "78" }
-
The Conference "Logical Calculi"s. 1CZYSTY TEKST
The Conference "Logical Calculi", Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 1
BIBTEX@Article{ authors = "", title = "The Conference "Logical Calculi"", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "1" }
-
An Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logicss. 2 - 3CZYSTY TEKST
Andrzej Wroński, An Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics, Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 2 - 3
BIBTEX@Article{ authors = " Andrzej Wroński", title = "An Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "2 - 3" }
-
Generalized Algebras of Past and their Applications to Many-Valued Logics with Infinitely Long Formulass. 4 - 12CZYSTY TEKST
Generalized Algebras of Past and their Applications to Many-Valued Logics with Infinitely Long Formulas , Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 4 - 12
BIBTEX@Article{ authors = "", title = "Generalized Algebras of Past and their Applications to Many-Valued Logics with Infinitely Long Formulas ", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "4 - 12" }
-
Logical Systems with Implication and Theories of Quasi-Implicative Algebrass. 13 - 22CZYSTY TEKST
Jerzy Kotas, Logical Systems with Implication and Theories of Quasi-Implicative Algebras , Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 13 - 22
BIBTEX@Article{ authors = " Jerzy Kotas", title = "Logical Systems with Implication and Theories of Quasi-Implicative Algebras ", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "13 - 22" }
-
On Logics of Deedss. 23 - 31CZYSTY TEKST
Tadeusz Kubiński, On Logics of Deeds , Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 23 - 31
BIBTEX@Article{ authors = " Tadeusz Kubiński", title = "On Logics of Deeds ", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "23 - 31" }
-
The Proof of Ł-Decidability of Lewis' System S5s. 32 - 34CZYSTY TEKST
Jerzy Słupecki, Grzegorz Bryll, The Proof of Ł-Decidability of Lewis' System S5, Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 32 - 34
BIBTEX@Article{ authors = " Jerzy Słupecki, Grzegorz Bryll", title = "The Proof of Ł-Decidability of Lewis' System S5", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "32 - 34" }
-
On Non Equivalence of Two Definitions of the Algebras of Łukasiewiczs. 35 - 37CZYSTY TEKST
Wojciech Suchoń, On Non Equivalence of Two Definitions of the Algebras of Łukasiewicz, Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 35 - 37
BIBTEX@Article{ authors = " Wojciech Suchoń", title = "On Non Equivalence of Two Definitions of the Algebras of Łukasiewicz", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "35 - 37" }
-
On Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logicss. 38 - 44CZYSTY TEKST
Andrzej Wroński, On Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics , Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 38 - 44
BIBTEX@Article{ authors = " Andrzej Wroński", title = "On Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics ", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "38 - 44" }
-
The Deduction Theorems Valid in Certain Fragments of the Lewis' System S2 and the System of Feys-von Wrights. 45 - 52CZYSTY TEKST
Stanisław J. Surma, The Deduction Theorems Valid in Certain Fragments of the Lewis' System S2 and the System of Feys-von Wright , Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 45 - 52
BIBTEX@Article{ authors = " Stanisław J. Surma", title = "The Deduction Theorems Valid in Certain Fragments of the Lewis' System S2 and the System of Feys-von Wright ", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "45 - 52" }
-
An Uniform Method of Proof of the Completeness Theorem for the Equivalential Propostional Calculus and for some of its Extensionss. 53 - 62CZYSTY TEKST
Stanisław J. Surma, An Uniform Method of Proof of the Completeness Theorem for the Equivalential Propostional Calculus and for some of its Extensions , Bulletin of the Section of Logic, 1972 / Tom 1 / Numer 1, s. 53 - 62
BIBTEX@Article{ authors = " Stanisław J. Surma", title = "An Uniform Method of Proof of the Completeness Theorem for the Equivalential Propostional Calculus and for some of its Extensions ", journal = "Bulletin of the Section of Logic", issue = "1972 / Tom 1 / Numer 1", pages = "53 - 62" }
