Pages that link to "Item:Q5434524"
From MaRDI portal
The following pages link to Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic (Q5434524):
Displaying 6 items.
- A syntactic embedding of predicate logic into second-order propositional logic (Q609763) (← links)
- Free algebras, states and duality for the propositional \(\text{Gödel}_{\Delta}\) and drastic product logics (Q1726317) (← links)
- Corrections and additions to my paper ``A note on unprovability-preserving sound translations'', more general constructions (Q2735830) (← links)
- Generalized ordinal sums and translations (Q2885172) (← links)
- The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions (Q3584967) (← links)
- A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic (Q4487246) (← links)
