|
|
|
|
| LEADER |
01407nam a2200217Ia 4500 |
| 001 |
10.1017-S1755020318000151 |
| 008 |
220511s2019 CNT 000 0 und d |
| 020 |
|
|
|a 17550203 (ISSN)
|
| 245 |
1 |
0 |
|a LOGIC for EXACT ENTAILMENT
|
| 260 |
|
0 |
|b Cambridge University Press
|c 2019
|
| 856 |
|
|
|z View Fulltext in Publisher
|u https://doi.org/10.1017/S1755020318000151
|
| 520 |
3 |
|
|a An exact truthmaker for A is a state which, as well as guaranteeing A's truth, is wholly relevant to it. States with parts irrelevant to whether A is true do not count as exact truthmakers for A. Giving semantics in this way produces a very unusual consequence relation, on which conjunctions do not entail their conjuncts. This feature makes the resulting logic highly unusual. In this paper, we set out formal semantics for exact truthmaking and characterise the resulting notion of entailment, showing that it is compact and decidable. We then investigate the effect of various restrictions on the semantics. We also formulate a sequent-style proof system for exact entailment and give soundness and completeness results. Copyright © Association for Symbolic Logic 2019.
|
| 650 |
0 |
4 |
|a exact entailment
|
| 650 |
0 |
4 |
|a mereology
|
| 650 |
0 |
4 |
|a non-classical logic
|
| 650 |
0 |
4 |
|a semantics
|
| 650 |
0 |
4 |
|a sequent calculus
|
| 650 |
0 |
4 |
|a truthmaking
|
| 700 |
1 |
|
|a Fine, K.
|e author
|
| 700 |
1 |
|
|a Jago, M.
|e author
|
| 773 |
|
|
|t Review of Symbolic Logic
|
