Similar Items: Model Theory and Proof Theory of Coalgebraic Predicate Logic
- Sharing proofs with predicative theories through universe-polymorphic elaboration
- Coalgebraic Geometric Logic: Basic Theory
- Predicative theories of continuous lattices
- Intuitionistic Layered Graph Logic: Semantics and Proof Theory
- Towards a Proof Theory of Gödel Modal Logics
- Categorical Proof Theory of Co-Intuitionistic Linear Logic