Pages that link to "Item:Q4635871"
From MaRDI portal
The following pages link to Unified Semantics and Proof System for Classical, Intuitionistic and Affine Logics (Q4635871):
Displaying 5 items.
- A focused approach to combining logics (Q639671) (← links)
- Kripke semantics and proof systems for combining intuitionistic logic and classical logic (Q690929) (← links)
- Unifying logics via context-sensitiveness (Q2987041) (← links)
- On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)
- Unifying Classical and Intuitionistic Logics for Computational Control (Q5271065) (← links)