Wyniki
-
A Perzanowski's hypothesis confirmed
Tomasz Kowalski
Bulletin of the Section of Logic , 25 /1 (1996) s. 58-59 -
A remark on quasivarieties of modal algebras
Tomasz Kowalski
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 27-30 -
Propositional dynamic logic has interpolation
Tomasz Kowalski
Bulletin of the Section of Logic , 30 /1 (2001) s. 33-39 -
Weakly Associative Relation Algebras Hold the Key to the Universe
Tomasz Kowalski
Bulletin of the Section of Logic , 36 /3-4 (2007) s. 145-158 -
Atomic Incompleteness or how to Kill One Bird with Two Stones
Marcus Kracht, Tomasz Kowalski
Bulletin of the Section of Logic , 30 /2 (2001) s. 71-78 -
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 -
Propositional logic and erotetic inferences
Andrzej Wiśniewski
Bulletin of the Section of Logic , 14 /2 (1985) s. 72-76 -
Remarks on intermediate logics with axioms containing only one variable
Andrzej Wroński
Bulletin of the Section of Logic , 2 /1 (1973) s. 58-62 -
On the degree of completeness of positive logic
Andrzej Wroński
Bulletin of the Section of Logic , 2 /1 (1973) s. 65-69 -
The degree of completeness of some fragments of the intuitionistic propositional logic
Andrzej Wroński
Bulletin of the Section of Logic , 2 /2 (1973) s. 149-153 -
On cardinality of matrices strongly adequate for the intuitionistic propositional logic
Andrzej Wroński
Bulletin of the Section of Logic , 3 /1 (1974) s. 34-38 -
On equivalential fragments of some intermediate logics
Andrzej Wroński
Bulletin of the Section of Logic , 3 /2 (1974) s. 11-13