Wyniki
-
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 -
Remarks on discussive propositional calculus
Tomasz Furmanowski
Bulletin of the Section of Logic , 4 /1 (1975) s. 33-36 -
A Perzanowski's hypothesis confirmed
Tomasz Kowalski
Bulletin of the Section of Logic , 25 /1 (1996) s. 58-59 -
Partially-elementary extension Kripke models and Burr's hierarchy
Tomasz Połacik
Bulletin of the Section of Logic , 28 /4 (1999) s. 207-214 -
A remark on quasivarieties of modal algebras
Tomasz Kowalski
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 27-30 -
A complete syntactical characterization of the intuitionistic logic
Tomasz Skura
Bulletin of the Section of Logic , 18 /3 (1989) s. 116-120 -
A new criterion of decidability for intermediate logics
Tomasz Skura
Bulletin of the Section of Logic , 19 /1 (1990) s. 10-14 -
On pure refutation formulations of sentential logics
Tomasz Skura
Bulletin of the Section of Logic , 19 /3 (1990) s. 102-107 -
Refutation rules for three modal logics
Tomasz Skura
Bulletin of the Section of Logic , 21 /1 (1992) s. 31-32 -
Propositional dynamic logic has interpolation
Tomasz Kowalski
Bulletin of the Section of Logic , 30 /1 (2001) s. 33-39 -
Quantified Intuitionistic Propositional Logic and Cantor Space
Tomasz Połacik
Bulletin of the Section of Logic , 32 /1-2 (2003) s. 65-74 -
Anti-Chains, Focuses and Projective Formulas
Tomasz Połacik
Bulletin of the Section of Logic , 34 /1 (2005) s. 1-12 -
Weakly Associative Relation Algebras Hold the Key to the Universe
Tomasz Kowalski
Bulletin of the Section of Logic , 36 /3-4 (2007) s. 145-158 -
Tableau System for Logic of Categorial Propositions and Decidability
Tomasz Jarmuzek
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 223-231 -
Master Argument vs. Sea-fight Tomorrow
Tomasz Jarmużek
Bulletin of the Section of Logic , 38 /3-4 (2009) s. 205-214 -
Bisimulation Reducts of First-Order Kripke Models
Tomasz Połacik
Bulletin of the Section of Logic , 42 /3-4 (2013) s. 151-160 -
Topological and Multi-Topological Frames in the Context of Intuitionistic Modal Logic
Tomasz Witczak
Bulletin of the Section of Logic , 48 /3 (2019) s. 187-205 -
A Note on the Intuitionistic Logic of False Belief
Tomasz Witczak
Bulletin of the Section of Logic , 51 /1 (2022) s. 57-71 -
Atomic Incompleteness or how to Kill One Bird with Two Stones
Marcus Kracht, Tomasz Kowalski
Bulletin of the Section of Logic , 30 /2 (2001) s. 71-78