Czelakowski, Janusz Filtered subdirect products. (English) Zbl 0861.03029 Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 2, 103-111 (1996). MSC: 03C52 08B26 08C15 PDFBibTeX XMLCite \textit{J. Czelakowski}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 2, 103--111 (1996; Zbl 0861.03029)
Indrzejczak, Andrzej Cut-free sequent calculus for S5. (English) Zbl 0861.03012 Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 2, 95-102 (1996). MSC: 03B45 03F05 PDFBibTeX XMLCite \textit{A. Indrzejczak}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 2, 95--102 (1996; Zbl 0861.03012)
Béziau, Jean-Yves Identity, structure and logic. (English) Zbl 0866.03008 Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 2, 89-94 (1996). Reviewer: J.Mackenzie (Sydney) MSC: 03B53 03A05 PDFBibTeX XMLCite \textit{J.-Y. Béziau}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 2, 89--94 (1996; Zbl 0866.03008)
Yashin, Alexander On Novikov’s approach to the notion of a new intuitionistic connective: Two negative examples. (English) Zbl 0873.03008 Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 2, 84-88 (1996). Reviewer: D.Skvortsov (Moskva) MSC: 03B20 PDFBibTeX XMLCite \textit{A. Yashin}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 2, 84--88 (1996; Zbl 0873.03008)
Łukowski, Piotr Modal interpretation of Heyting-Brouwer logic. (English) Zbl 0861.03010 Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 2, 80-83 (1996). MSC: 03B45 PDFBibTeX XMLCite \textit{P. Łukowski}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 2, 80--83 (1996; Zbl 0861.03010)
Adillon, Romà J.; Verdú, Ventura A Gentzen system equivalent to the BCK-logic. (English) Zbl 0861.03044 Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 2, 73-79 (1996). MSC: 03F03 03G25 06F35 PDFBibTeX XMLCite \textit{R. J. Adillon} and \textit{V. Verdú}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 2, 73--79 (1996; Zbl 0861.03044)
Sette, Antonio Mario; Alves, Elias H. On the equivalence between some systems of non-classical logic. (English) Zbl 0862.03016 Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 2, 68-72 (1996). MSC: 03B53 PDFBibTeX XMLCite \textit{A. M. Sette} and \textit{E. H. Alves}, Bull. Sect. Log., Univ. Łódź, Dep. Log. 25, No. 2, 68--72 (1996; Zbl 0862.03016)