Proof Systems for Exact Entailment
Publication date
2023
Authors
Korbmacher, Johannes
Editors
Advisors
Supervisors
Document Type
Article
Metadata
Show full item recordCollections
License
cc_by
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.
Keywords
Hilbert calculus, Truthmakers, exact entailment, proof theory, sequent calculus, Logic, Philosophy, Mathematics (miscellaneous)
Citation
Korbmacher, J 2023, 'Proof Systems for Exact Entailment', Review of Symbolic Logic, vol. 16, no. 4, pp. 1260 - 1295. https://doi.org/10.1017/S175502032200020X