Bulletin of the Section of Logic 1/1 (1972)details
Table of contents
- 1. Nguen CAT-HO, Generalized algebras of Post and their applications to infinitely many-valued logics with infinitely long formulas
- 2. Jerzy KOTAS, Logical systems with implication and theories of quasi-implicative algebras
- 3. Tadeusz KUBINSKI, On logic of deeds
- 4. Jerzy SLUPECKI and Grzegorz BRYLL, The proof of L-decidability of Lewis' system S5
- 5. Wojciech SUCHON, On non-equivalence of two definitions of the algebras of Lukasiewicz
- 6. Andrzej WRONSKI, An algorithm for finding finite axiomatizations of finite intermediate logics
- 7. Stanislaw J.SURMA, The deduction theorems valid in certain fragments of the Lewis' system S2 and the system of Feys - von Wright
- 8. Stanislaw J.SURMA, A uniform method of proof of the completeness its extentions
- 9. Marek TOKARZ, On invariant systems and structural completeness of Lukasiewicz's logic
- 10. Ryszard WOJCICKI, Some properties of strongly finite propositional calculi