Logic for exact entailment
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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Cambridge University Press
2018
|
| Subjects: | |
| Online Access: | https://eprints.nottingham.ac.uk/54996/ |