Similar Items: Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix
- Universal Structures and the logic of Forbidden Patterns
- An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets
- Categorical Proof Theory of Co-Intuitionistic Linear Logic
- On linear rewriting systems for Boolean logic and some applications to proof theory
- Matching Logic
- Dirac's theorem and the switch geometry of perfect matchings