Andrzej Indrzejczak
21 artykuły w 3 czasopismach
-
Preface : Professor Grzegorz Malinowski in Honorem Opublikowano w: Bulletin of the Section of Logic 2017 / Tom 46 / Numer 1-2 / s. 1 - 102017CZYSTY TEKST
Janusz Ciuciura, Andrzej Indrzejczak, Preface : Professor Grzegorz Malinowski in Honorem, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 1 - 10
BIBTEX@Article{ authors = " Janusz Ciuciura, Andrzej Indrzejczak", title = "Preface : Professor Grzegorz Malinowski in Honorem", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "1 - 10" }
-
Powstanie i ewolucja dedukcji naturalnej Opublikowano w: Filozofia Nauki 2014 / Tom 22 / Numer 2 / s. 5 - 192014CZYSTY TEKST
Andrzej Indrzejczak, Powstanie i ewolucja dedukcji naturalnej , Filozofia Nauki, 2014 / Tom 22 / Numer 2, s. 5 - 19
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Powstanie i ewolucja dedukcji naturalnej ", journal = "Filozofia Nauki", issue = "2014 / Tom 22 / Numer 2", pages = "5 - 19" }
-
Labelled Analytic Tableaux for S4.3 Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 1 / s. 15 - 262002CZYSTY TEKST
Andrzej Indrzejczak, Labelled Analytic Tableaux for S4.3, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 1, s. 15 - 26
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Labelled Analytic Tableaux for S4.3", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 1", pages = "15 - 26" }
-
Natural deduction in quantifier modal logic Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 1 / s. 30 - 401994CZYSTY TEKST
Andrzej Indrzejczak, Natural deduction in quantifier modal logic, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 1, s. 30 - 40
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Natural deduction in quantifier modal logic", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 1", pages = "30 - 40" }
-
Powstanie i ewolucja rachunków sekwentowych Opublikowano w: Filozofia Nauki 2014 / Tom 22 / Numer 4 / s. 53 - 702014CZYSTY TEKST
Andrzej Indrzejczak, Powstanie i ewolucja rachunków sekwentowych, Filozofia Nauki, 2014 / Tom 22 / Numer 4, s. 53 - 70
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Powstanie i ewolucja rachunków sekwentowych", journal = "Filozofia Nauki", issue = "2014 / Tom 22 / Numer 4", pages = "53 - 70" }
-
Cut-Free Hypersequent Calculus for S4.3. Opublikowano w: Bulletin of the Section of Logic 2012 / Tom 41 / Numer 1-2 / s. 89 - 1042012CZYSTY TEKST
Andrzej Indrzejczak, Cut-Free Hypersequent Calculus for S4.3., Bulletin of the Section of Logic, 2012 / Tom 41 / Numer 1-2, s. 89 - 104
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Cut-Free Hypersequent Calculus for S4.3.", journal = "Bulletin of the Section of Logic", issue = "2012 / Tom 41 / Numer 1-2", pages = "89 - 104" }
-
Cut-free sequent calculus for S5 Opublikowano w: Bulletin of the Section of Logic 1996 / Tom 25 / Numer 2 / s. 95 - 1021996CZYSTY TEKST
Andrzej Indrzejczak, Cut-free sequent calculus for S5, Bulletin of the Section of Logic, 1996 / Tom 25 / Numer 2, s. 95 - 102
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Cut-free sequent calculus for S5", journal = "Bulletin of the Section of Logic", issue = "1996 / Tom 25 / Numer 2", pages = "95 - 102" }
-
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 - 1402016CZYSTY TEKST
Andrzej Indrzejczak, Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 2, s. 125 - 140
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Simple Decision Procedure for S5 in Standard Cut-Free Sequent Calculus", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 2", pages = "125 - 140" }
-
Cut Elimination Theorem for Non-Commutative Hypersequent Calculus Opublikowano w: Bulletin of the Section of Logic 2017 / Tom 46 / Numer 1-2 / s. 1332017CZYSTY TEKST
Andrzej Indrzejczak, Cut Elimination Theorem for Non-Commutative Hypersequent Calculus, Bulletin of the Section of Logic, 2017 / Tom 46 / Numer 1-2, s. 133
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Cut Elimination Theorem for Non-Commutative Hypersequent Calculus", journal = "Bulletin of the Section of Logic", issue = "2017 / Tom 46 / Numer 1-2", pages = "133" }
-
Contraction Contracted Opublikowano w: Bulletin of the Section of Logic 2014 / Tom 43 / Numer 3-4 / s. 139 - 1542014CZYSTY TEKST
Andrzej Indrzejczak, Contraction Contracted, Bulletin of the Section of Logic, 2014 / Tom 43 / Numer 3-4, s. 139 - 154
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Contraction Contracted", journal = "Bulletin of the Section of Logic", issue = "2014 / Tom 43 / Numer 3-4", pages = "139 - 154" }
-
Modal Hybrid Logic Opublikowano w: Logic and Logical Philosophy 2007 / Tom 16 / Numer 2-3 / s. 147 - 2572007CZYSTY TEKST
Andrzej Indrzejczak, Modal Hybrid Logic, Logic and Logical Philosophy, 2007 / Tom 16 / Numer 2-3, s. 147 - 257
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Modal Hybrid Logic", journal = "Logic and Logical Philosophy", issue = "2007 / Tom 16 / Numer 2-3", pages = "147 - 257" }
-
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 - 1612009CZYSTY TEKST
Andrzej Indrzejczak, Suszko's Contribution to the Theory of Nonaxiomatic Proof Systems, Bulletin of the Section of Logic, 2009 / Tom 38 / Numer 3-4, s. 151 - 161
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Suszko's Contribution to the Theory of Nonaxiomatic Proof Systems", journal = "Bulletin of the Section of Logic", issue = "2009 / Tom 38 / Numer 3-4", pages = "151 - 161" }
-
Sequent Calculi for Monotonic Modal Logics Opublikowano w: Bulletin of the Section of Logic 2005 / Tom 34 / Numer 3 / s. 151 - 1642005CZYSTY TEKST
Andrzej Indrzejczak, Sequent Calculi for Monotonic Modal Logics, Bulletin of the Section of Logic, 2005 / Tom 34 / Numer 3, s. 151 - 164
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Sequent Calculi for Monotonic Modal Logics", journal = "Bulletin of the Section of Logic", issue = "2005 / Tom 34 / Numer 3", pages = "151 - 164" }
-
Resolution Based Natural Deduction Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 3 / s. 159 - 1702002CZYSTY TEKST
Andrzej Indrzejczak, Resolution Based Natural Deduction, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 3, s. 159 - 170
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Resolution Based Natural Deduction", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 3", pages = "159 - 170" }
-
Labelled Tableau Calculi for Weak Modal Logics Opublikowano w: Bulletin of the Section of Logic 2007 / Tom 36 / Numer 3-4 / s. 159 - 1722007CZYSTY TEKST
Andrzej Indrzejczak, Labelled Tableau Calculi for Weak Modal Logics, Bulletin of the Section of Logic, 2007 / Tom 36 / Numer 3-4, s. 159 - 172
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Labelled Tableau Calculi for Weak Modal Logics", journal = "Bulletin of the Section of Logic", issue = "2007 / Tom 36 / Numer 3-4", pages = "159 - 172" }
-
A note concerning belief logic Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 3 / s. 169 - 1721995CZYSTY TEKST
Andrzej Indrzejczak, A note concerning belief logic, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 3, s. 169 - 172
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "A note concerning belief logic", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 3", pages = "169 - 172" }
-
Correspondence Theory in Proof Opublikowano w: Bulletin of the Section of Logic 2008 / Tom 37 / Numer 3-4 / s. 171 - 1832008CZYSTY TEKST
Andrzej Indrzejczak, Correspondence Theory in Proof, Bulletin of the Section of Logic, 2008 / Tom 37 / Numer 3-4, s. 171 - 183
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Correspondence Theory in Proof", journal = "Bulletin of the Section of Logic", issue = "2008 / Tom 37 / Numer 3-4", pages = "171 - 183" }
-
Natural Deduction System for Tense Logics Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 4 / s. 1731994CZYSTY TEKST
Andrzej Indrzejczak, Natural Deduction System for Tense Logics, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 4, s. 173
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Natural Deduction System for Tense Logics", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 4", pages = "173" }
-
Admissibility of cut in congruent modal logics Opublikowano w: Logic and Logical Philosophy 2011 / Tom 20 / Numer 3 / s. 189 - 2032011CZYSTY TEKST
Andrzej Indrzejczak, Admissibility of cut in congruent modal logics, Logic and Logical Philosophy, 2011 / Tom 20 / Numer 3, s. 189 - 203
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Admissibility of cut in congruent modal logics", journal = "Logic and Logical Philosophy", issue = "2011 / Tom 20 / Numer 3", pages = "189 - 203" }
-
Rule-Generation Theorem and Its Applications Opublikowano w: Bulletin of the Section of Logic 2018 / Tom 47 / Numer 4 / s. 265 - 2812018CZYSTY TEKST
Andrzej Indrzejczak, Rule-Generation Theorem and Its Applications , Bulletin of the Section of Logic, 2018 / Tom 47 / Numer 4, s. 265 - 281
BIBTEX@Article{ authors = " Andrzej Indrzejczak", title = "Rule-Generation Theorem and Its Applications ", journal = "Bulletin of the Section of Logic", issue = "2018 / Tom 47 / Numer 4", pages = "265 - 281" }
-
Decision procedures for some strong hybrid logics Opublikowano w: Logic and Logical Philosophy 2013 / Tom 22 / Numer 4 / s. 389 - 4092013CZYSTY TEKST
Andrzej Indrzejczak, Michał Zawidzki, Decision procedures for some strong hybrid logics, Logic and Logical Philosophy, 2013 / Tom 22 / Numer 4, s. 389 - 409
BIBTEX@Article{ authors = " Andrzej Indrzejczak, Michał Zawidzki", title = "Decision procedures for some strong hybrid logics", journal = "Logic and Logical Philosophy", issue = "2013 / Tom 22 / Numer 4", pages = "389 - 409" }
