Similar Items: A Proof Theoretic Analysis of Intruder Theories
- A Forgotten Theory of Proofs ?
- A Finite-Model-Theoretic View on Propositional Proof Complexity
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- On the strength of proof-irrelevant type theories
- Classical BI: Its Semantics and Proof Theory
- A proof of strong normalisation using domain theory