Pages that link to "Item:Q690929"
From MaRDI portal
The following pages link to Kripke semantics and proof systems for combining intuitionistic logic and classical logic (Q690929):
Displaying 4 items.
- A Proposal for Broad Spectrum Proof Certificates (Q3100201) (← links)
- Kripke semantics for the logic of problems and propositions (Q3304397) (← links)
- Consistency, Completeness, and Classicality (Q3305618) (← links)
- On the unification of classical, intuitionistic and affine logics (Q5236553) (← links)
