Pages that link to "Item:Q3094144"
From MaRDI portal
The following pages link to Eskolemization in Intuitionistic Logic (Q3094144):
Displaying 6 items.
- The eskolemization of universal quantifiers (Q638487) (← links)
- The Skolemization of prenex formulas in intermediate logics (Q1740611) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- Axiomatization of a Skolem function in intuitionistic logic (Q2702564) (← links)
- On Skolemization in constructive theories (Q3617374) (← links)
- Skolem’s Theorem in Coherent Logic (Q5212032) (← links)