Wyniki
-
On equivalential fragment of the three-valued logic of Lukasiewicz
Jacek K. Kabziński
Bulletin of the Section of Logic , 8 /4 (1979) s. 182-187 -
Towards the source of the notion of implication
Jacek K. Kabziński
Bulletin of the Section of Logic , 9 /4 (1980) s. 180-183 -
What is the equivalence connective
Jacek K. Kabziński
Bulletin of the Section of Logic , 9 /4 (1980) s. 184-188 -
On equivalential fragment of the implicative extentional consequence
Jacek K. Kabziński
Bulletin of the Section of Logic , 10 /3 (1981) s. 135-143 -
BCI-algebras from the point of view of logic
Jacek K. Kabziński
Bulletin of the Section of Logic , 12 /3 (1983) s. 126-129 -
Quasivarieties for BCK-logic
Jacek K. Kabziński
Bulletin of the Section of Logic , 12 /3 (1983) s. 130-133 -
On problems of definability of propositional connectives
Jacek K. Kabziński
Bulletin of the Section of Logic , 2 /2 (1973) s. 127-129 -
The Wajsberg's results connected with separability of the intuitionistic propositional logic
Jacek K. Kabziński
Bulletin of the Section of Logic , 2 /2 (1973) s. 131-133 -
An axiomatization of the variety of equivalential algebras by a single identity
Jacek K. Kabziński
Bulletin of the Section of Logic , 6 /3 (1977) s. 102-106 -
On some equivalentially indistinguishable consequences
Jacek K. Kabziński
Bulletin of the Section of Logic , 22 /2 (1993) s. 66-71 -
Abelian groups and identity connective
Jacek K. Kabziński
Bulletin of the Section of Logic , 22 /2 (1993) s. 66-71 -
On the unique axiom of BCII class
Jacek K. Kabziński
Bulletin of the Section of Logic , 22 /4 (1993) s. 146-149