Makinson, David C. (2014) On an inferential semantics for classical logic. Logic Journal of IGPL, 22 (1). pp. 147-154. ISSN 1367-0751
Full text not available from this repository.
Identification Number: 10.1093/jigpal/jzt038
Abstract
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 |
|---|---|
| Official URL: | http://jigpal.oxfordjournals.org/ |
| Additional Information: | © 2013 The Author. Published by Oxford University Press. |
| Divisions: | Philosophy, Logic and Scientific Method |
| Subjects: | B Philosophy. Psychology. Religion > B Philosophy (General) B Philosophy. Psychology. Religion > BC Logic |
| Date Deposited: | 21 Feb 2014 11:37 |
| Last Modified: | 12 Dec 2024 00:36 |
| URI: | http://eprints.lse.ac.uk/id/eprint/55803 |
Actions (login required)
 |
View Item |
