Completeness via correspondence for extensions of the logic of paradox

Review of Symbolic Logic 5 (4):720-730 (2012)
  Copy   BIBTEX

Abstract

Taking our inspiration from modal correspondence theory, we present the idea of correspondence analysis for many-valued logics. As a benchmark case, we study truth-functional extensions of the Logic of Paradox (LP). First, we characterize each of the possible truth table entries for unary and binary operators that could be added to LP by an inference scheme. Second, we define a class of natural deduction systems on the basis of these characterizing inference schemes and a natural deduction system for LP. Third, we show that each of the resulting natural deduction systems is sound and complete with respect to its particular semantics.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,100

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A natural deduction system for first degree entailment.Allard M. Tamminga & Koji Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (2):258-272.
The Geometry of Non-Distributive Logics.Greg Restall & Francesco Paoli - 2005 - Journal of Symbolic Logic 70 (4):1108 - 1126.
Three-valued logics in modal logic.Barteld Kooi & Allard Tamminga - 2013 - Studia Logica 101 (5):1061-1072.
Partiality and its dual.J. Michael Dunn - 2000 - Studia Logica 66 (1):5-40.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.
Facing Up to the Sorites Paradox.Terry Horgan - 2000 - The Proceedings of the Twentieth World Congress of Philosophy 6:99-111.
Natural deduction and Curry's paradox.Susan Rogerson - 2007 - Journal of Philosophical Logic 36 (2):155 - 179.
Free Semantics.Ross Thomas Brady - 2010 - Journal of Philosophical Logic 39 (5):511 - 529.

Analytics

Added to PP
2012-10-02

Downloads
106 (#166,152)

6 months
8 (#365,731)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Barteld Kooi
University of Groningen
Allard Tamminga
University of Greifswald