Journal article icon

Journal article

Stoic sequent logic and proof theory

Abstract:

This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publisher copy:
10.1080/01445340.2019.1579624

Authors


More by this author
Institution:
University of Oxford
Division:
HUMS
Department:
Philosophy Faculty
Oxford college:
All Souls College
Role:
Author
Publisher:
Taylor and Francis
Journal:
History and Philosophy of Logic More from this journal
Volume:
40
Issue:
3
Pages:
234-265
Publication date:
2019-03-29
Acceptance date:
2019-02-04
DOI:
EISSN:
1464-5149
ISSN:
0144-5340
Language:
English
Keywords:
Pubs id:
pubs:990981
UUID:
uuid:fdf28773-4164-4396-ae09-570a178258f1
Local pid:
pubs:990981
Source identifiers:
990981
Deposit date:
2019-05-07

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP