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...
Gorde:
| Egile Nagusiak: | , , , , , , , |
|---|---|
| Formatua: | Artigo |
| Hizkuntza: | Inglês |
| Argitaratua: |
Lodz University Press
2025-06-01
|
| Saila: | Bulletin of the Section of Logic |
| Gaiak: | |
| Sarrera elektronikoa: | https://czasopisma.uni.lodz.pl/bulletin/article/view/24259 |
| Etiketak: |
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|