Andrzej Indrzejczak (indrzejczak)

Contributions à Philosophie.ch

Bibliography

Bednarska, Kaja and Indrzejczak, Andrzej. 2015. “Hypersequent Calculi for S5: The Methods of Cut Elimination.” Logic and Logical Philosophy 24(3): 277–311.
Indrzejczak, Andrzej. 1998. “Jaśkowski and Gentzen Approaches to Natural Deduction and Related Systems.” in The Lvov-Warsaw School and Contemporary Philosophy, edited by Katarzyna Kijania-Placek and Jan Woleński, pp. 253–264. Synthese Library n. 273. Dordrecht: Kluwer Academic Publishers.
Indrzejczak, Andrzej. 2007. “Modal Hybrid Logic.” Logic and Logical Philosophy 16(2/3): 147–257.
Indrzejczak, Andrzej. 2010. Natural Deduction, Hybrid Systems and Modal Logics. Trends in Logic n. 30. Berlin: Springer.
Indrzejczak, Andrzej. 2017. “Tautology Elimination, Cut Elimination, and S5.” Logic and Logical Philosophy 26(4): 461–471.
Indrzejczak, Andrzej, Kaczmarek, Janusz and Zawidzki, Michal, eds. 2014. Trends in Logic XIII: Gentzen’s and Jaśkowski’s Heritage 80 Years of Natural Deduction and Sequent Calculi. Łódź: Wydawnictwo Uniwersytetu Łódzkiego.