Wyniki
-
Simplified Kripke Style Semantics for Modal Logics K45, KB4 and KD45
Andrzej Pietruszczak
Bulletin of the Section of Logic , 38 /3-4 (2009) s. 163-171 -
Semantical Investigations on Some Weak Modal Logics : part I
Andrzej Pietruszczak
Bulletin of the Section of Logic , 41 /1-2 (2012) s. 33-50 -
Semantical Investigations on Some Weak Modal Logics : part II
Andrzej Pietruszczak
Bulletin of the Section of Logic , 41 /3-4 (2012) s. 109-130 -
On Theses Without Iterated Modal- ities of Modal Logics Between C1 and S5 : part 1
Andrzej Pietruszczak
Bulletin of the Section of Logic , 46 /1-2 (2017) s. 110-132 -
On Theses without Iterated Modalities of Modal Logics Between C1 and S5 : Part 2
Anrzej Pietruszczak
Bulletin of the Section of Logic , 46 /3-4 (2017) s. 197-218 -
An elementary proof of equivalence of the conditions in definition of conditionally distributive lattices
Marek Nasieniewski, Andrzej Pietruszczak
Bulletin of the Section of Logic , 26 /4 (1997) s. 193-196 -
The Weakest Regular Modal Logic Defining Jaskowski's Logic D2
Marek Nasieniewski, Andrzej Pietruszczak
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 197-210 -
New Axiomatizations of the Weakest Regular Modal Logic Defining Jaskowski's Logic D2
Marek Nasieniewski, Andrzej Pietruszczak
Bulletin of the Section of Logic , 38 /1-2 (2009) s. 45-50 -
Semantics for Regular Logics Connected with Jaskowski's D2
Marek Nasieniewski, Andrzej Pietruszczak
Bulletin of the Section of Logic , 38 /3-4 (2009) s. 173-187 -
On the Weakest Modal Logics Defining Jaskowski's Logic D2 and the D2-Consequence
Marek Nasieniewski, Andrzej Pietruszczak
Bulletin of the Section of Logic , 41 /3-4 (2012) s. 215-232 -
A comparison of two systems of point-free topology
Rafał Gruszczyński, Andrzej Pietruszczak
Bulletin of the Section of Logic , 47 /3 (2018) s. 187-200 -
On the Definability of Leśniewski's Copula 'is' in Some Onthology-Like Theories
Marcin Łyczak, Andrzej Pietruszczak
Bulletin of the Section of Logic , 47 /4 (2018) s. 233-263 -
A three element matrix whose consequence operation is not finitely based
Andrzej Wroński
Bulletin of the Section of Logic , 8 /2 (1979) s. 68-70 -
On reducts of intermediate logics
Andrzej Wroński
Bulletin of the Section of Logic , 9 /4 (1980) s. 176-179 -
Splittings of lattices of quasivarieties
Andrzej Wroński
Bulletin of the Section of Logic , 10 /3 (1981) s. 128-129 -
Quasivarieties of Heyting algebras
Andrzej Wroński
Bulletin of the Section of Logic , 10 /3 (1981) s. 130-134 -
Pretabular varieties of N-lattices
Andrzej Sendlewski
Bulletin of the Section of Logic , 12 /1 (1983) s. 17-20 -
On a system of computer-aided instruction of logic
Andrzej Trybulec
Bulletin of the Section of Logic , 12 /4 (1983) s. 214-220 -
Topological duality for Nelson algebras and its application
Andrzej Sendlewski
Bulletin of the Section of Logic , 13 /4 (1984) s. 215-219