Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuitionistic logic, conditional logics, and bunched logics. After providing an overview of the logics and proof formalisms u...
Gespeichert in:
| Hauptverfasser: | , , , , , , , |
|---|---|
| Format: | Artigo |
| Sprache: | Inglês |
| Veröffentlicht: |
Lodz University Press
2025-06-01
|
| Schriftenreihe: | Bulletin of the Section of Logic |
| Schlagworte: | |
| Online-Zugang: | https://czasopisma.uni.lodz.pl/bulletin/article/view/24259 |
| Tags: |
Keine Tags, Fügen Sie das erste Tag hinzu!
|