Cookies?
Library Header Image
LSE Research Online LSE Library Services

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

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
Sets: Departments > Philosophy, Logic and Scientific Method
Date Deposited: 21 Feb 2014 11:37
Last Modified: 20 May 2020 02:57
URI: http://eprints.lse.ac.uk/id/eprint/55803

Actions (login required)

View Item View Item