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.
| Original language | English |
|---|---|
| Pages (from-to) | 1260 - 1295 |
| Number of pages | 36 |
| Journal | Review of Symbolic Logic |
| Volume | 16 |
| Issue number | 4 |
| Early online date | 2022 |
| DOIs | |
| Publication status | Published - 2023 |
Bibliographical note
Publisher Copyright:© 2022 Cambridge University Press. All rights reserved.
Keywords
- Hilbert calculus
- Truthmakers
- exact entailment
- proof theory
- sequent calculus