Similar Items: A Forgotten Theory of Proofs ?
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- On the strength of proof-irrelevant type theories
- A Proof Theoretic Analysis of Intruder Theories
- Classical BI: Its Semantics and Proof Theory
- A proof of strong normalisation using domain theory
- Towards a Proof Theory of Gödel Modal Logics