Abstract
The goal of this paper is to generalize specific techniques connected with refutation rules involving certain normal forms. In particular, a method of axiomatizing both a logic L and its complement −L is introduced.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Goré R.: Tableau methods for modal and temporal logics. In: Agostino, M.D., Gabbay, D., Hähnle, R., Posega, J (eds) Handbook of Tableau Methods., pp. 297–396. Kluwer, Dordrecht (1999)
Łukasiewicz J.: Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Clarendon Press, Oxford (1951)
Łukasiewicz J.: On the intuitionistic theory of deduction. Indagationes Mathematicae 14, 202–212 (1952)
Skura T.: Refutations, proofs, and models in the modal logic K4. Studia Logica 70, 193–204 (2002)
Skura T.: A refutation theory. Logica Universalis 3, 293–302 (2009)
Skura, T.: Refutation systems in propositional logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, vol. 16, pp. 115–157 (2011)
Open Access
This article is distributed under the terms of the Creative Commons Attribution Noncommercial License which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This is an open access article distributed under the terms of the Creative Commons Attribution Noncommercial License (https://creativecommons.org/licenses/by-nc/2.0), which permits any noncommercial use, distribution, and reproduction in any medium, provided the original author(s) and source are credited.
About this article
Cite this article
Skura, T. On Refutation Rules. Log. Univers. 5, 249–254 (2011). https://doi.org/10.1007/s11787-011-0035-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-011-0035-4