On an inferential semantics for classical logic
Makinson, D. C.
(2014).
On an inferential semantics for classical logic.
Logic Journal of IGPL,
22(1), 147-154.
https://doi.org/10.1093/jigpal/jzt038
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 |
|---|---|
| Copyright holders | © 2013 The Author. Published by Oxford University Press. |
| Departments | LSE > Academic Departments > Philosophy, Logic and Scientific Method |
| DOI | 10.1093/jigpal/jzt038 |
| Date Deposited | 21 Feb 2014 |
| URI | https://researchonline.lse.ac.uk/id/eprint/55803 |
Explore Further
- https://www.scopus.com/pages/publications/84892997237 (Scopus publication)
- http://jigpal.oxfordjournals.org/ (Official URL)