Wyniki
-
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 -
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 -
Sentential constants in relevant implication
Robert K. Meyer
Bulletin of the Section of Logic , 9 /1 (1980) s. 33-38 -
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 -
A criterion of functional completeness for B3
Victor K. Finn
Bulletin of the Section of Logic , 2 /1 (1973) s. 3-6 -
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 -
Relevant arithmetic
Robert K. Meyer
Bulletin of the Section of Logic , 5 /4 (1976) s. 133-135 -
Ackermann, Takeuti, und schnitt: γ for higher-order relevant logics
Robert K. Meyer
Bulletin of the Section of Logic , 5 /4 (1976) s. 138-142 -
Intuitionistic system without contraction
G. K. Dardzania
Bulletin of the Section of Logic , 6 /1 (1977) s. 2-8 -
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 -
Current research in relevant logic
Robert K. Meyer
Bulletin of the Section of Logic , 6 /3 (1977) -
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 -
Rationalizing relevant primitives, of course!
Robert K. Meyer
Bulletin of the Section of Logic , 24 /2 (1995) s. 76-79