Pages that link to "Item:Q1295382"
From MaRDI portal
The following pages link to Decidable Kripke models of intuitionistic theories (Q1295382):
Displaying 5 items.
- First-order logic in the Medvedev lattice (Q897478) (← links)
- Computable Kripke models and intermediate logics (Q1271561) (← links)
- Reverse mathematics and completeness theorems for intuitionistic logic (Q1422103) (← links)
- Effective completeness theorems for modal logic (Q1877094) (← links)
- Maximal ideals in countable rings, constructively (Q2104249) (← links)
