Wyniki
-
A Note On Diagonalization
Andrzej Wiśniewski, Jerzy Pogonowski
Bulletin of the Section of Logic , 39 /3-4 (2010) s. 123-131 -
The axiomatizations of S.Jaskowski's discussive system
Jerzy Kotas
Bulletin of the Section of Logic , 2 /1 (1973) s. 12-15 -
On homogenous fragments of normal modal propositional logics
Jerzy Perzanowski
Bulletin of the Section of Logic , 4 /2 (1975) s. 44-49 -
Logical Systems with Implication and Theories of Quasi-Implicative Algebras
Jerzy Kotas
Bulletin of the Section of Logic , 1 /1 (1972) s. 13-22 -
Algebraic Approach to Sentential Calculi in the Papers of K. Iseka and S. Tanaka
Jerzy Kotas
Bulletin of the Section of Logic , 1 /2 (1972) s. 28-34 -
Ł-Decidability and Decidability
Jerzy Słupecki
Bulletin of the Section of Logic , 1 /3 (1972) s. 38-43 -
Weakest normal calculi with respect to Mn-counterparts
Jerzy J. Błaszczuk
Bulletin of the Section of Logic , 7 /3 (1978) s. 102-106 -
Remarks on Mn-counterparts of some normal calculi
Jerzy J. Błaszczuk
Bulletin of the Section of Logic , 6 /2 (1977) s. 82-95 -
The Proof of Ł-Decidability of Lewis' System S5
Jerzy Słupecki, Grzegorz Bryll
Bulletin of the Section of Logic , 1 /1 (1972) s. 32-34 -
Remarks on Perzanowski's modal systems
Jerzy J. Błaszczuk, Wiesław Dziobiak
Bulletin of the Section of Logic , 4 /2 (1975) s. 57-62 -
Modal systems related to S4n of Sobocinski
Jerzy J. Błaszczuk, Wiesław Dziobiak
Bulletin of the Section of Logic , 4 /3 (1975) s. 103-106 -
Modal systems placed in the "triangle" S4-T1-T
Jerzy J. Błaszczuk, Wiesław Dziobiak
Bulletin of the Section of Logic , 4 /4 (1975) s. 138-141 -
On Some Logic with a Relation Imposed on Formulae: Tableau System F
Tomasz Jarmużek, Bartosz Jerzy Kaczkowski
Bulletin of the Section of Logic , 43 /1-2 (2014) s. 53-72 -
On the problem of Jaskowski and the logics of Lukasiewicz
Jerzy Kotas, Newton C.A. da Costa
Bulletin of the Section of Logic , 7 /2 (1978) s. 91