The following pages link to (Q4964696):
Displaying 6 items.
- A Classical Sequent Calculus with Dependent Types (Q2988668) (← links)
- Negative Translations and Duality: Toward a Unified Approach (Q3080095) (← links)
- (Q4981448) (← links)
- New Algebras and Logic from a Category of Rough Sets (Q5082209) (← links)
- Double negation as minimal negation (Q6190088) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)