Aktuelle Version vom 25. November 2024, 11:11 Uhr

The Basics of Display Calculi

Tim LyonTim Lyon, Christian IttnerChristian Ittner, Timo EckhardtTimo Eckhardt, Norbert GratzlNorbert Gratzl

ISSN: 10198288
Download

Tim Lyon, Christian Ittner, Timo Eckhardt, Norbert Gratzl
The Basics of Display Calculi
Kriterion -- Journal of Philosophy, 31(2):55-100, 2017

Details
Bibtex

KurzfassungAbstract
The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.
Weitere Informationen unter:Further Information: Link
Forschungsgruppe:Research Group: Computational LogicComputational Logic

@article{LIEG2017,
  author  = {Tim Lyon and Christian Ittner and Timo Eckhardt and Norbert Gratzl},
  title   = {The Basics of Display Calculi},
  journal = {Kriterion -- Journal of Philosophy},
  volume  = {31},
  number  = {2},
  year    = {2017},
  pages   = {55-100}
}

@@ Zeile 5: / Zeile 5: @@
 }}
 {{Article
-|Referiert=0
+|Referiert=1
 |Title=The Basics of Display Calculi
 |To appear=0
@@ Zeile 20: / Zeile 20: @@
 |Link=http://www.kriterion-journal-of-philosophy.org/kriterion/volume-31-2-2017/
 |Forschungsgruppe=Computational Logic
-|BibTex=@Article{bibkey,
+}}
-title = {The Basics of Display Calculi},
+{{Forschungsgebiet Auswahl
-author = {Tim Lyon and Christian Ittner and Timo Eckhardt and Norbert Gratzl},
+|Forschungsgebiet=Beweistheorie
-journal = {Kriterion -- Journal of Philosophy},
-pages = {55-100},
-volume = {31},
-number = {2},
-year = {2017},
-issn = {10198288}
-}
 }}

Article3074: Unterschied zwischen den Versionen

Aktuelle Version vom 25. November 2024, 11:11 Uhr

The Basics of Display Calculi

Tim LyonTim Lyon, Christian IttnerChristian Ittner, Timo EckhardtTimo Eckhardt, Norbert GratzlNorbert Gratzl