Similar Items: Categorical Proof Theory of Co-Intuitionistic Linear Logic
- Intuitionistic Layered Graph Logic: Semantics and Proof Theory
- Functional Interpretations of Intuitionistic Linear Logic
- Dagger linear logic for categorical quantum mechanics
- On linear rewriting systems for Boolean logic and some applications to proof theory
- Model Theory and Proof Theory of Coalgebraic Predicate Logic
- The intuitionistic temporal logic of dynamical systems