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


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:
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: 20 Oct 2021 00:30

Actions (login required)

View Item View Item