On Deriving Nested Calculi for Intuitionistic Logics from Semantic Systems
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties from its associated labelled calculus.
Details
Originalsprache | Englisch |
---|---|
Titel | Logical Foundations of Computer Science |
Redakteure/-innen | Sergei Artemov, Anil Nerode |
Erscheinungsort | Cham |
Herausgeber (Verlag) | Springer International Publishing AG |
Seiten | 177-194 |
Seitenumfang | 18 |
ISBN (Print) | 978-3-030-36755-8 |
Publikationsstatus | Veröffentlicht - 2020 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 85077499091 |
---|---|
ORCID | /0000-0003-3214-0828/work/142249493 |