Skip to main content
Log in

A Refutation Theory

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

A general theory of refutation systems is given. Some applications (concerning maximality and minimality in lattices of logics) are also discussed.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Brown, D.J., Suszko, R.: Abstract Logics. Dissertationes Mathematicae CII, Warszawa (1973)

  2. Goranko V.: Refutation systems in modal logic. Studia Logica 53, 299–324 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  3. Łukasiewicz, J.: Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Oxford (1951)

  4. Łukasiewicz J.: On the intuitionistic theory of deduction. Indagationes Mathematicae 14, 202–212 (1952)

    Google Scholar 

  5. Scott, D.: Completeness and axiomatizability in many-valued logic. In: Proceedings of the Tarski Symposium, pp. 411–435. American Mathematical Society, Providence (1974)

  6. Skura T.: A complete syntactical characterization of the intuitionistic logic. Rep. Math. Logic 23, 75–80 (1989)

    MATH  MathSciNet  Google Scholar 

  7. Skura T.: Refutation calculi for certain intermediate propositional logics. Notre Dame J. Formal Logic 33, 552–560 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  8. Skura T.: Syntactic refutations against finite models in modal logic. Notre Dame J. Formal Logic 35, 595–605 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  9. Skura T.: Maximality and refutability. Notre Dame J. Formal Logic 45, 65–72 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  10. Słupecki J., Bryll G., Wybraniec-Skardowska U.: Theory of rejected propositions I. Studia Logica 29, 75–123 (1971)

    Article  MATH  MathSciNet  Google Scholar 

  11. Wójcicki R.: Dual counterparts of consequence operations. Bull. Sect. Logic 2, 54–57 (1973)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Tomasz Skura.

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-009-0009-y

Mathematics Subject Classification (2000)

Keywords

Navigation