Wyniki
-
On implivalential algebras
Małgorzata Porębska
Bulletin of the Section of Logic , 8 /1 (1979) s. 30-35 -
Interpolation for fragments of intermediate logics
Małgorzata Porębska
Bulletin of the Section of Logic , 14 /2 (1985) s. 79-82 -
A characterization of the intuitionistic propositional logic
Małgorzata Porębska, Andrzej Wroński
Bulletin of the Section of Logic , 3 /2 (1974) s. 19-20 -
On {<->,~}-reduct of the intuitionistic consequence operation
Jacek K. Kabziński, Małgorzata Porębska, Andrzej Wroński
Bulletin of the Section of Logic , 8 /3 (1979) s. 161-169 -
The interpolation, Hallden-completeness, Robinson and Beth properties in modal logics
Anna Wójtowicz
Bulletin of the Section of Logic , 26 /2 (1997) s. 67-72 -
A non-standard approach to autoepistemic logic
Anna Gomolińska
Bulletin of the Section of Logic , 21 /1 (1992) s. 21-27 -
Cycles in Nielsen's Graphs
Anna Bień
Bulletin of the Section of Logic , 39 /1-2 (2010) s. 57-64 -
Monadic Fragments of Intuitionistic Control Logic
Anna Gleńszczyk
Bulletin of the Section of Logic , 45 /3-4 (2016) s. 143-154 -
A note on relationship between the consequence operations Cn' and dCn
Anna Gomolińska, Justyna K. Myślińska
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 63-67 -
Pseudo-BCI-Logic
Grzegorz Dymek, Anna Kozanecka-Dymek
Bulletin of the Section of Logic , 42 /1-2 (2013) s. 33-42