Andrzej Indrzejczak
21 artykuły w 3 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Preface : Professor Grzegorz Malinowski in Honorem Opublikowano w: Bulletin of the Section of Logic 2017 / Tom 46 / Numer 1-2 / s. 1 - 10ROK: 2017CZYSTY TEKSTBIBTEX
-
Powstanie i ewolucja dedukcji naturalnej Opublikowano w: Filozofia Nauki 2014 / Tom 22 / Numer 2 / s. 5 - 19ROK: 2014CZYSTY TEKSTBIBTEX
-
Labelled Analytic Tableaux for S4.3 Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 1 / s. 15 - 26ROK: 2002CZYSTY TEKSTBIBTEX
-
Natural deduction in quantifier modal logic Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 1 / s. 30 - 40ROK: 1994CZYSTY TEKSTBIBTEX
-
Powstanie i ewolucja rachunków sekwentowych Opublikowano w: Filozofia Nauki 2014 / Tom 22 / Numer 4 / s. 53 - 70ROK: 2014CZYSTY TEKSTBIBTEX
-
Cut-Free Hypersequent Calculus for S4.3. Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 1-2 / s. 89 - 104ROK: 2012CZYSTY TEKSTBIBTEX
-
Cut-free sequent calculus for S5 Opublikowano w: Bulletin of the Section of Logic 1996 / Tom 25 / Numer 2 / s. 95 - 102ROK: 1996CZYSTY TEKSTBIBTEX
-
Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus Opublikowano w: Bulletin of the Section of Logic 2016 / Tom 45 / Numer 2 / s. 125 - 140ROK: 2016CZYSTY TEKSTBIBTEX
-
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus Opublikowano w: Bulletin of the Section of Logic 2017 / Tom 46 / Numer 1-2 / s. 133ROK: 2017CZYSTY TEKSTBIBTEX
-
Contraction Contracted Opublikowano w: Bulletin of the Section of Logic 2014 / Tom 43 / Numer 3-4 / s. 139 - 154ROK: 2014CZYSTY TEKSTBIBTEX
-
Modal Hybrid Logic Opublikowano w: Logic and Logical Philosophy 2007 / Tom 16 / Numer 2-3 / s. 147 - 257ROK: 2007CZYSTY TEKSTBIBTEX
-
Suszko's Contribution to the Theory of Nonaxiomatic Proof Systems Opublikowano w: Bulletin of the Section of Logic 2009 / Tom 38 / Numer 3-4 / s. 151 - 161ROK: 2009CZYSTY TEKSTBIBTEX
-
Sequent Calculi for Monotonic Modal Logics Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 3 / s. 151 - 164ROK: 2005CZYSTY TEKSTBIBTEX
-
Resolution Based Natural Deduction Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 3 / s. 159 - 170ROK: 2002CZYSTY TEKSTBIBTEX
-
Labelled Tableau Calculi for Weak Modal Logics Opublikowano w: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 3-4 / s. 159 - 172ROK: 2007CZYSTY TEKSTBIBTEX
-
A note concerning belief logic Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 3 / s. 169 - 172ROK: 1995CZYSTY TEKSTBIBTEX
-
Correspondence Theory in Proof Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 3-4 / s. 171 - 183ROK: 2008CZYSTY TEKSTBIBTEX
-
Natural Deduction System for Tense Logics Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 4 / s. 173ROK: 1994CZYSTY TEKSTBIBTEX
-
Admissibility of cut in congruent modal logics Opublikowano w: Logic and Logical Philosophy 2011 / Tom 20 / Numer 3 / s. 189 - 203ROK: 2011CZYSTY TEKSTBIBTEX
-
Rule-Generation Theorem and Its Applications Opublikowano w: Bulletin of the Section of Logic 2018 / Tom 47 / Numer 4 / s. 265 - 281ROK: 2018CZYSTY TEKSTBIBTEX
-
Decision procedures for some strong hybrid logics Opublikowano w: Logic and Logical Philosophy 2013 / Tom 22 / Numer 4 / s. 389 - 409ROK: 2013CZYSTY TEKSTBIBTEX
