The following pages link to (Q4219051):
Displaying 6 items.
- Intuitionistic hypothetical logic of proofs (Q276039) (← links)
- Order-dual relational semantics for non-distributive propositional logics: a general framework (Q1702978) (← links)
- Fibrational modal type theory (Q1744413) (← links)
- Classical natural deduction for S4 modal logic (Q1758660) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
