A Framework for Intuitionistic Grammar Logics
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
We generalize intuitionistic tense logics to the multi-modal case by placing grammar logics on an intuitionistic footing. We provide axiomatizations for a class of base intuitionistic grammar logics as well as provide axiomatizations for extensions with combinations of seriality axioms and what we call intuitionistic path axioms. We show that each axiomatization is sound and complete with completeness being shown via a typical canonical model construction.
Details
Originalsprache | Englisch |
---|---|
Titel | Logic and Argumentation - 4th International Conference, CLAR 2021, Proceedings |
Redakteure/-innen | Pietro Baroni, Christoph Benzmüller, Yì N. Wáng |
Herausgeber (Verlag) | Springer International Publishing AG |
Seiten | 495-503 |
Seitenumfang | 9 |
Band | 13040 |
Publikationsstatus | Veröffentlicht - 1 Okt. 2021 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 85118169768 |
---|---|
ORCID | /0000-0003-3214-0828/work/142249488 |
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- Bi-relational model, Completeness, Context-free, Converse, Grammar logic, Intuitionistic logic, Modal logic, Path axiom