Tomasz Skura (skura)
Contributi a 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.