Wyniki
-
Natural deduction in quantifier modal logic
Andrzej Indrzejczak
Bulletin of the Section of Logic , 23 /1 (1994) s. 30-40 -
Natural Deduction System for Tense Logics
Andrzej Indrzejczak
Bulletin of the Section of Logic , 23 /4 (1994) s. 173 -
A note concerning belief logic
Andrzej Indrzejczak
Bulletin of the Section of Logic , 24 /3 (1995) s. 169-172 -
Cut-free sequent calculus for S5
Andrzej Indrzejczak
Bulletin of the Section of Logic , 25 /2 (1996) s. 95-102 -
Labelled Analytic Tableaux for S4.3
Andrzej Indrzejczak
Bulletin of the Section of Logic , 31 /1 (2002) s. 15-26 -
Resolution Based Natural Deduction
Andrzej Indrzejczak
Bulletin of the Section of Logic , 31 /3 (2002) s. 159-170 -
Sequent Calculi for Monotonic Modal Logics
Andrzej Indrzejczak
Bulletin of the Section of Logic , 34 /3 (2005) s. 151-164 -
Labelled Tableau Calculi for Weak Modal Logics
Andrzej Indrzejczak
Bulletin of the Section of Logic , 36 /3-4 (2007) s. 159-172 -
Correspondence Theory in Proof
Andrzej Indrzejczak
Bulletin of the Section of Logic , 37 /3-4 (2008) s. 171-183 -
Suszko's Contribution to the Theory of Nonaxiomatic Proof Systems
Andrzej Indrzejczak
Bulletin of the Section of Logic , 38 /3-4 (2009) s. 151-161 -
Cut-Free Hypersequent Calculus for S4.3.
Andrzej Indrzejczak
Bulletin of the Section of Logic , 41 /1-2 (2012) s. 89-104 -
Contraction Contracted
Andrzej Indrzejczak
Bulletin of the Section of Logic , 43 /3-4 (2014) s. 139-154 -
Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus
Andrzej Indrzejczak
Bulletin of the Section of Logic , 45 /2 (2016) s. 125-140 -
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus
Andrzej Indrzejczak
Bulletin of the Section of Logic , 46 /1-2 (2017) s. 133 -
Modal Hybrid Logic
Andrzej Indrzejczak
Logic and Logical Philosophy , 16 /2-3 (2007) s. 147-257 -
Admissibility of cut in congruent modal logics
Andrzej Indrzejczak
Logic and Logical Philosophy , 20 /3 (2011) s. 189-203 -
Rule-Generation Theorem and Its Applications
Andrzej Indrzejczak
Bulletin of the Section of Logic , 47 /4 (2018) s. 265-281