The following pages link to (Q5595152):
Displaying 4 items.
- A proof-theoretic account of classical principles of truth (Q385807) (← links)
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Kripke semantics for higher-order type theory applied to constraint logic programming languages (Q683712) (← links)
- Reference and perspective in intuitionistic logics (Q1006455) (← links)
