Bulletin of the Section of Logic
Tom 1 (1972)

The Conference "Logical Calculi"

An Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics

Andrzej Wroński

Generalized Algebras of Past and their Applications to Many-Valued Logics with Infinitely Long Formulas

Nguyen Cat Ho

Logical Systems with Implication and Theories of Quasi-Implicative Algebras

Jerzy Kotas

On Logics of Deeds

Tadeusz Kubiński

The Proof of Ł-Decidability of Lewis' System S5

Jerzy Słupecki, Grzegorz Bryll

On Non Equivalence of Two Definitions of the Algebras of Łukasiewicz

Wojciech Suchoń

On Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics

Andrzej Wroński

The Deduction Theorems Valid in Certain Fragments of the Lewis' System S2 and the System of Feys-von Wright

Stanisław J. Surma

An Uniform Method of Proof of the Completeness Theorem for the Equivalential Propostional Calculus and for some of its Extensions

Stanisław J. Surma

On Invariant Systems and Structural Completeness of Łukasiewicz's Logics

Marek Tokarz

Some Properties of Strongly Finite Propositional Calculi

Ryszard Wójcicki

"A Logic Stronger than Intuitionism", Sabine Görnemann, [w:] „The Journal of Symbolic Logic”, Nr 36, R. 1971 : [recenzja]

Marek Tokarz Sabine Görnemann

Three Notions of Model of a Propositional Calculus : (Review of some Papers of R. Harrop and T. Smiley)

Marek Tokarz, Ryszard Wójcicki

Conference for the History of Logic, Kraków, April 22-24, 1972, Poland

Equational Logic and Theories in Sentential Language

Roman Suszko

No-Equivalence of Certain Definitions of Infinite Łukasiewicz Algebras

Wojciech Suchoń

Connections between some Notions of Completeness of Structural Propositional Calculi

Marek Tokarz

Remarks on Algebraic Semantics for Modal Systems S0,9, S1 and S2

Andrzej Wroński

The Deduction Theorems for Propositional Calculi when Implication and Falsum is Present

Ewa Żarnecka-Biały

Algebraic Approach to Sentential Calculi in the Papers of K. Iseka and S. Tanaka

Jerzy Kotas

"Full Models and Restricted Extensions of Propositional Calculi", Biswambhar Pahi [w:] „Zeitschrift für Mathematische Logic und Grundlagen der Mathematik”, t. 17, R. 1971; "Restricted Extensions of Implicational Calculi", Biswambhar Pahi, [w:] „Zeitschrift für Mathematische Logic und Grundlagen der Mathematik”, t. 17, R. 1971 : [recenzja]

Marek Tokarz Biswambhar Pahi

"The Degrees of Competeness of Dummett's LC and Thomas' LCn", J. G. Anderson, [w:] „The Journal of London Mathematical Society”, t. 3, R. 1971 : [recenzja]

Marek Tokarz J. G. Anderson

Closure Spaces, Closure Homomorphism and Universal Algebras : (Review of Some Papers of S. Burris)

Jan Zygmunt

[Departament of Function]

Andrzej Grzegorczyk, Ryszard Wójcicki

VIIth International Congress on Cybernetics

Dual Counterparts of Łukasiewicz Sentential Calculi

Grzegorz Malinowski, Maciej Spasowski

Descriptions in Theories of Kind W

Mieczysław Omyła, Roman Suszko

Definitions in Theories of Kind W

Mieczysław Omyła, Roman Suszko

Treshold Logic

Ewa orłowska

On Algorithmic M-Valued Logic

Eleonora Perkowska

Ł-Decidability and Decidability

Jerzy Słupecki

Invariant Systems of Łukasiewicz Calculi

Marek Tokarz

Some Results Concerning Many Valued Łukasiewicz Calculi

Ryszard Wójcicki

Logique, Automatique, Informatique : Editions de l'Academie de la République de Roumanie, Bucarest, 1971 : (Review of some Papers of V. Boicescu and G. Georgescu on Łukasiewicz Algebras)

Wojciech Suchoń

From the History of Constructive Logic with a Strong Negation : (Review of some Papers)

Czesław Wojtkiewicz

"Multiplicity Type and Subalgebra Structure in Universal Algebras", Matthew Gould, [w:] „Pacific Journal of Mathematics”, Nr 3, t. 26, R. 1968; "Multiplicity Type and Subalgebra Structure in Infinitary Universal Algebra", Matthew Gould, [w:] „Colloqium Mathematicum”, t. 24, R. 1971 : [recenzja]

Jan Zygmunt Matthew Gould

Logical Papers in „Zeitschrift für Mathematische Logic und Grundlagen der Mathematic”, vol. 17(1971)

Marek Tokarz

XVIIIth Conference for the History of Logic

Witold Marciszewski

19th and 20th Conferences for the History of Logic, Cracow, 1973 and 1974 : (A Preliminary Announcement)

Ryszard Wójcicki