Bulletin of the Section of Logic
Tom 1 ( 1972), Nr 1

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