In a recent paper, Nils Kürbis argues that bilateral natural deduction systems in which assertions and denials figure as hypothetical assumptions are unintelligible. In this paper, I respond to this claim on two counts. ...

In this paper a framework to distinguish in a Fregean manner between sense and denotation of \(\lambda\)-term-annotated derivations will be applied to a bilateralist sequent calculus displaying two derivability relations, ...

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 ...