Tomasz Skura (skura)
Beiträge zu Philosophie.ch
No contributions yet
Bibliography
Skura, Tomasz. 1994. “Characterizing Propositional Logics by Formulas.” in Philosophical Logic in Poland, edited by Jan Woleński, pp. 239–246. Synthese Library n. 228. Dordrecht: Kluwer Academic Publishers.
Skura, Tomasz. 1996. “A Lukasiewicz-Style Refutation System for the Modal Logic S4.” The Journal of Philosophical Logic 25(6): 573–582.
Skura, Tomasz. 2011. “Refutation Systems in Propositional Logic.” in Handbook of Philosophical Logic, Volume XVI, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 115–157. Dordrecht: Springer.
Skura, Tomasz and Wiśniewski, Andrzej. 2015. “A System for Proper Multiple-Conclusion Entailment.” Logic and Logical Philosophy 24(2): 241–253.