Wyniki
-
Modal Boolean Connexive Logics : Semantic and Tableau Approach
Tomasz Jarmużek, Jacek Malinowski
Bulletin of the Section of Logic , 48 /3 (2019) s. 213-243 -
Bayesian Propositional Logic
Tomasz Jarmużek, Mateusz Klonowski, Jacek Malinowski
Bulletin of the Section of Logic , 46 /3-4 (2017) s. 151-168 -
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 -
The logic of algebraic rules as a generalization of equational logic
Tomasz Furmanowski
Bulletin of the Section of Logic , 11 /1-2 (1982) s. 6-12 -
On complete bundless of locally valid identities
Tomasz Furmanowski
Bulletin of the Section of Logic , 13 /4 (1984) s. 202-206