On an inferential semantics for classical logic
Makinson, David C.
(2014)
On an inferential semantics for classical logic.
Logic Journal of IGPL, 22 (1).
pp. 147-154.
ISSN 1367-0751
We seek a better understanding of why an inferential semantics devised by Tor Sandqvist yields full classical logic, by providing and analysing a direct proof via a suitable maximality construction.
| Item Type | Article |
|---|---|
| Keywords | inferentialism,proof-theoretic semantics,production rules,classical logic,maxiconsistency |
| Departments | Philosophy, Logic and Scientific Method |
| DOI | 10.1093/jigpal/jzt038 |
| Date Deposited | 21 Feb 2014 11:37 |
| URI | https://researchonline.lse.ac.uk/id/eprint/55803 |