Wyniki
-
Dual spaces for topological Boolean algebras
R. Quackenbush, R. Suszko
Bulletin of the Section of Logic , 3 /1 (1974) s. 16-18 -
A Note the Logical Dependence of Simple Quantifiers
R. Zuber
Bulletin of the Section of Logic , 23 /4 (1994) s. 168-172 -
On negatively restricting Boolean algebras
R. Zuber
Bulletin of the Section of Logic , 26 /1 (1997) s. 50-54 -
A proof-theoretic analysis of da Costa's C*
Andres R. Raggio
Bulletin of the Section of Logic , 7 /2 (1978) s. 95 -
Some modofications of the Godel translation of classical logic into intuitionistic logic
Branislav R. Boricic
Bulletin of the Section of Logic , 19 /3 (1990) s. 84-86 -
Interpolation theorem for intuitionistic S4
Branislav R. Boricic
Bulletin of the Section of Logic , 20 /1 (1991) s. 2-6 -
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