Similar Items: Classical BI: Its Semantics and Proof Theory
- Intuitionistic Layered Graph Logic: Semantics and Proof Theory
- A Forgotten Theory of Proofs ?
- Classical System of Martin-Lof's Inductive Definitions is not Equivalent to Cyclic Proofs
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- On the strength of proof-irrelevant type theories
- Infinite and Bi-infinite Words with Decidable Monadic Theories