Valentin D. Richard

Display calculus

by Valentin D. Richard

Also available as: PDF, LaTeX.
Proper Display calculi [1] are a class of sequent calculi enjoying sufficient conditions [2, sec. 3] for a canonical cut-elimination theorem.
References:
  • [1]^ N.D. Belnap, Display Logic, Journal of Philosophical Logic 11 (1982)
  • [2]^ H. Wansing, Sequent Systems for Modal Logics, Handbook of Philosophical Logic 8 (2002), 61-145
Alternative definitions:
Ontology information:
Display calculus
Related papers: