T Lyon, C Ittner, T Eckhardt, N Gratzl - Kriterion–Journal of …, 2017 - degruyter.com
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 …