Abstract
A general theory of refutation systems is given. Some applications (concerning maximality and minimality in lattices of logics) are also discussed.
Similar content being viewed by others
References
Brown, D.J., Suszko, R.: Abstract Logics. Dissertationes Mathematicae CII, Warszawa (1973)
Goranko V.: Refutation systems in modal logic. Studia Logica 53, 299–324 (1994)
Łukasiewicz, J.: Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Oxford (1951)
Łukasiewicz J.: On the intuitionistic theory of deduction. Indagationes Mathematicae 14, 202–212 (1952)
Scott, D.: Completeness and axiomatizability in many-valued logic. In: Proceedings of the Tarski Symposium, pp. 411–435. American Mathematical Society, Providence (1974)
Skura T.: A complete syntactical characterization of the intuitionistic logic. Rep. Math. Logic 23, 75–80 (1989)
Skura T.: Refutation calculi for certain intermediate propositional logics. Notre Dame J. Formal Logic 33, 552–560 (1992)
Skura T.: Syntactic refutations against finite models in modal logic. Notre Dame J. Formal Logic 35, 595–605 (1994)
Skura T.: Maximality and refutability. Notre Dame J. Formal Logic 45, 65–72 (2004)
Słupecki J., Bryll G., Wybraniec-Skardowska U.: Theory of rejected propositions I. Studia Logica 29, 75–123 (1971)
Wójcicki R.: Dual counterparts of consequence operations. Bull. Sect. Logic 2, 54–57 (1973)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Skura, T. A Refutation Theory. Log. Univers. 3, 293–302 (2009). https://doi.org/10.1007/s11787-009-0009-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11787-009-0009-y