Wyniki
-
Some examples concerning uniformity and complexity of sentential logics
Jacek Hawranek
Bulletin of the Section of Logic , 9 /2 (1980) s. 71-72 -
A matrix adequate for S5 with MP and RN
Jacek Hawranek
Bulletin of the Section of Logic , 9 /3 (1980) s. 122-124 -
A characterization of prime theories in Johansson's minimal logic
Jacek Hawranek
Bulletin of the Section of Logic , 12 /3 (1983) s. 122-125 -
On the degree of matrix complexity
Jacek Hawranek
Bulletin of the Section of Logic , 13 /2 (1984) s. 50-54 -
On the number of quasi-modal algebras
Jacek Malinowski
Bulletin of the Section of Logic , 14 /3 (1985) s. 99-102 -
A representation theorem for co-diagonalizable algebras
Jacek Hawranek
Bulletin of the Section of Logic , 14 /3 (1985) s. 122-129 -
The least modal equivalential logic
Jacek Malinowski
Bulletin of the Section of Logic , 22 /3 (1993) s. 113-118 -
Situational semantics for nonmonotonic logics
Jacek Malinowski
Bulletin of the Section of Logic , 22 /4 (1993) s. 161-166 -
Completeness for four paraconsistent normal
Jacek Geisler
Bulletin of the Section of Logic , 23 /1 (1994) s. 18-26 -
Some theorems on equivalential tense logic
Jacek Malinowski
Bulletin of the Section of Logic , 23 /3 (1994) s. 98-103 -
Classical theories in strong negation logic
Jacek Geisler
Bulletin of the Section of Logic , 24 /3 (1995) s. 173-177 -
Note on "Conditional negation on the positive logic"
Jacek Geisler
Bulletin of the Section of Logic , 24 /3 (1995) s. 178 -
On the lattice of orthomodular logics
Jacek Malinowski
Bulletin of the Section of Logic , 28 /1 (1999) s. 11-16 -
A topological interpretation of diagonalizable algebras
Jacek Hawranek
Bulletin of the Section of Logic , 19 /4 (1990) s. 117-121 -
Quasivarieties of modular ortholattices
Jacek Malinowski
Bulletin of the Section of Logic , 20 /3-4 (1991) s. 138-142 -
On Generalizations of Consequence Operation
Jacek Malinowski
Bulletin of the Section of Logic , 31 /3 (2002) s. 135-143 -
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