Pages that link to "Item:Q5271065"
From MaRDI portal
The following pages link to Unifying Classical and Intuitionistic Logics for Computational Control (Q5271065):
Displaying 6 items.
- Negational fragment of intuitionistic control logic (Q897473) (← links)
- From the universality of mathematical truth to the interoperability of proof systems (Q2104491) (← links)
- Kripke semantics for the logic of problems and propositions (Q3304397) (← links)
- (Q4281464) (← links)
- (Q4513579) (← links)
- On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)