Article
Open Access
The Basics of Display Calculi
-
Tim Lyon
, Christian Ittner , Timo Eckhardt and Norbert Gratzl
Published/Copyright:
September 1, 2022
Published Online: 2022-09-01
Published in Print: 2017-07-01
© 2022 by Walter de Gruyter Berlin/Boston
Articles in the same Issue
- Contents
- Expressives, Majoratives, and Ineffability
- Another Counterexample to Markov Causation from Quantum Mechanics: Single Photon Experiments and the Mach-Zehnder Interferometer
- The Value Problem in Allen's Non-Adaptive Understanding of Knowledge
- The Basics of Display Calculi
- Conference Report: SOPhiA 2017
Keywords for this article
Display calculi;
Sequents;
Structural proof theory;
Cut elimination
Creative Commons
BY 4.0
Articles in the same Issue
- Contents
- Expressives, Majoratives, and Ineffability
- Another Counterexample to Markov Causation from Quantum Mechanics: Single Photon Experiments and the Mach-Zehnder Interferometer
- The Value Problem in Allen's Non-Adaptive Understanding of Knowledge
- The Basics of Display Calculi
- Conference Report: SOPhiA 2017