Proof Systems for Exact Entailment

Review of Symbolic Logic 16 (4):1260-1295 (2023)
  Copy   BIBTEX

Abstract

We present a series of proof systems for exact entailment (i.e. relevant truthmaker preservation from premises to conclusion) and prove soundness and completeness. Using the proof systems, we observe that exact entailment is not only hyperintensional in the sense of Cresswell but also in the sense recently proposed by Odintsov and Wansing.

Categories

Keywords

Reprint years

DOI

10.1017/s175502032200020x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

My notes

Similar books and articles

Extracting BB′IW Inhabitants of Simple Types From Proofs in the Sequent Calculus $${LT_\to^{t}}$$ L T → t for Implicational Ticket Entailment.Katalin Bimbó & J. Michael Dunn - 2014 - Logica Universalis 8 (2):141-164.
Proof Analysis: A Contribution to Hilbert's Last Problem.Sara Negri & Jan von Plato - 2011 - Cambridge and New York: Cambridge University Press. Edited by Jan Von Plato.
On All Strong Kleene Generalizations of Classical Logic.Stefan Wintein - 2016 - Studia Logica 104 (3):503-545.
The deduction rule and linear and near-linear proof simulations.Maria Luisa Bonet & Samuel R. Buss - 1993 - Journal of Symbolic Logic 58 (2):688-709.
Cut-elimination and proof-search for bi-intuitionistic logic using nested sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 43-66.
Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
Canonical proof nets for classical logic.Richard McKinley - 2013 - Annals of Pure and Applied Logic 164 (6):702-732.
First-Degree Entailment and its Relatives.Yaroslav Shramko, Dmitry Zaitsev & Alexander Belikov - 2017 - Studia Logica 105 (6):1291-1317.
New Consecution Calculi for R→t.Katalin Bimbó & J. Michael Dunn - 2012 - Notre Dame Journal of Formal Logic 53 (4):491-509.
2-Sequent calculus: a proof theory of modalities.Andrea Masini - 1992 - Annals of Pure and Applied Logic 58 (3):229-246.
An ecumenical notion of entailment.Elaine Pimentel, Luiz Carlos Pereira & Valeria de Paiva - 2019 - Synthese 198 (S22):5391-5413.
Dual Gaggle Semantics for Entailment.Katalin Bimbó - 2009 - Notre Dame Journal of Formal Logic 50 (1):23-41.
Socratic proofs.Andrzej Wiśniewski - 2004 - Journal of Philosophical Logic 33 (3):299-326.
A Gentzen Calculus for Nothing but the Truth.Stefan Wintein & Reinhard Muskens - 2016 - Journal of Philosophical Logic 45 (4):451-465.
Minimum Propositional Proof Length Is NP-Hard to Linearly Approximate.Michael Alekhnovich, Sam Buss, Shlomo Moran & Toniann Pitassi - 2001 - Journal of Symbolic Logic 66 (1):171-191.

Analytics

Added to PP
2022-05-24

Downloads
52 (#300,476)

6 months
19 (#130,686)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johannes Korbmacher
Utrecht University

Citations of this work

No citations found.

Add more citations

References found in this work

Angellic Content.Kit Fine - 2016 - Journal of Philosophical Logic 45 (2):199-226.
Truthmaker Semantics.Kit Fine - 2017 - In Bob Hale, Crispin Wright & Alexander Miller (eds.), A Companion to the Philosophy of Language. Chichester, UK: Wiley. pp. 556–577.
A Theory of Truthmaker Content I: Conjunction, Disjunction and Negation.Kit Fine - 2017 - Journal of Philosophical Logic 46 (6):625-674.
Counterfactuals Without Possible Worlds.Kit Fine - 2012 - Journal of Philosophy 109 (3):221-246.

View all 21 references / Add more references