Similar Items: On linear rewriting systems for Boolean logic and some applications to proof theory
- Categorical Proof Theory of Co-Intuitionistic Linear Logic
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
- Towards a Proof Theory of Gödel Modal Logics
- Proof Theory of a Multi-Lane Spatial Logic
- Intuitionistic Layered Graph Logic: Semantics and Proof Theory