Skip to main content
SpringerLink
Log in
Book cover

Handbook of Philosophical Logic pp 115–157Cite as

Refutation Systems in Propositional Logic

  • Chapter
  • First Online:

Part of the book series: Handbook of Philosophical Logic ((HALO,volume 16))

Abstract

By a refutation system N we mean an inference system consisting of refutation axioms and refutation rules. Refutation axioms are non-valid formulas, and refutation rules are rules preserving non-validity.

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

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Bibliography

  1. H. Barringer, D. Gabbay, and J. Woods. Temporal dynamics of argumentation network. In D. Hutter and W. Stephan, editors, Mechanizing Mathematical Reasoning, pages 59–98. Springer, 2005.

    Google Scholar 

  2. A. Chagrov and M. Zakharyashchev. The disjunction property of intermediate logics. Studia Logica, 50:189–216, 1991.

    Article  Google Scholar 

  3. N.C.A. da Costa and J.-Y. Béziau. Carnot’s logic. Bulletin of the Section of Logic, 22:98–105, 1993.

    Google Scholar 

  4. M. Fitting. Proof Methods for Modal and Intuitionistic Logics. Reidel, Dordrecht, 1983.

    Google Scholar 

  5. D.M. Gabbay. Logical modes of attack in argumentation networks. 2008.

    Google Scholar 

  6. V. Goranko. Refutation systems in modal logic. Studia Logica, 53:199– 324, 1994.

    Article  Google Scholar 

  7. G.G. Hughes and M.J. Cresswell. An Introduction to Modal Logic. Methuen, London, 1968.

    Google Scholar 

  8. G.G. Hughes and M.J. Cresswell. A Companion to Modal Logic. Methuen, London, 1984.

    Google Scholar 

  9. S.C. Kleene. Introduction to Metamathematics. North-Holland, Amsterdam, 1952.

    Google Scholar 

  10. E.J. Lemmon and D. Scott. An Introduction to Modal Logic, in collaboration with D. Scott. Blackwell, Oxford, 1977.

    Google Scholar 

  11. J. Łukasiewicz. Aristotle’s Syllogistic from the Standpoint of Modern Formal Logic. Clarendon, Oxford, 1951.

    Google Scholar 

  12. J. Łukasiewicz. On the intuitionistic theory of deduction. Indagationes Mathematicae, 14: 202-212, 1952.

    Google Scholar 

  13. G. Mints. Gentzen-type systems and resolution rules. Lecture Notes in Computer Science, 417:198–231, 1990.

    Google Scholar 

  14. D. Scott. Completeness proofs for the intuitionistic sentential calculus. In Summaries of talks presented at the Summer Institute of Symbolic Logic. Cornell University, 1957. second edition, Princeton, 1960, 231-241.

    Google Scholar 

  15. T. Skura. A complete syntactical characterization of the intuitionistic logic. Reports on Mathematical Logic, 23:75–80, 1989.

    Google Scholar 

  16. T. Skura. Refutation calculi for certain intermediate propositional logics. Notre Dame Journal of Formal Logic, 33:552–560, 1992.

    Article  Google Scholar 

  17. T. Skura. Syntactic refutations against finite models in modal logic. Notre Dame Journal of Formal Logic, 35:595–605, 1994.

    Article  Google Scholar 

  18. T. Skura. A Lukasiewicz-style refutation system for the modal logic S4. Journal of Philosophical Logic, 24:573–582, 1995.

    Article  Google Scholar 

  19. T. Skura. Refutations, proofs, and models in the modal logic K4. Studia Logica, 70:193–204, 2002.

    Article  Google Scholar 

  20. T. Skura. Maximality and refutability. Notre Dame Journal of Formal Logic, 45:65–72, 2004.

    Article  Google Scholar 

  21. M. Wajsberg. Untersuchungen über den Aussagenkalkül von A. Heyting. Wiadomości Matematyczne, 46:429–435, 1938.

    Google Scholar 

  22. A. Wiśniewski. Socratic proofs. Journal of Philosophical Logic, 33:299–326, 2004.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Wroclaw University, Wroclaw, Poland

    Tomasz Skura

Authors
  1. Tomasz Skura
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tomasz Skura .

Editor information

Editors and Affiliations

  1. Dept. Computer Science, King's College London, London, WC2R 2LS, United Kingdom

    Dov M. Gabbay

  2. , Centrüm für Informations- und Sprachvera, University of Munich, Oettingenstr. 67, Munich, 80538, Germany

    Franz Guenthner

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer Science+Business Media B.V.

About this chapter

Cite this chapter

Skura, T. (2011). Refutation Systems in Propositional Logic. In: Gabbay, D., Guenthner, F. (eds) Handbook of Philosophical Logic. Handbook of Philosophical Logic, vol 16. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-0479-4_2

Download citation

Publish with us

Policies and ethics

Search

Navigation