Wyniki
-
Equivalential fragment of the infinite valued logic of Lukasiewicz and the intermediate logics
Piotr S. Krzystek
Bulletin of the Section of Logic , 9 /4 (1980) s. 170-175 -
Commutative BCK-algebras do not enjoy the interpolation property
Piotr S. Krzystek
Bulletin of the Section of Logic , 12 /2 (1983) s. 50-54 -
On free relatively pseudocomplemented semilattice with three generators
Piotr S. Krzystek
Bulletin of the Section of Logic , 6 /3 (1977) s. 116-122 -
Pseudo-BCH Semilattices
Andrzej Walendziak
Bulletin of the Section of Logic , 47 /2 (2018) s. 117-128 -
An Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics
Andrzej Wroński
Bulletin of the Section of Logic , 1 /1 (1972) s. 2-3 -
On Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics
Andrzej Wroński
Bulletin of the Section of Logic , 1 /1 (1972) s. 38-44 -
Remarks on Algebraic Semantics for Modal Systems S0,9, S1 and S2
Andrzej Wroński
Bulletin of the Section of Logic , 1 /2 (1972) s. 20-24 -
Rule-Generation Theorem and Its Applications
Andrzej Indrzejczak
Bulletin of the Section of Logic , 47 /4 (2018) s. 265-281 -
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