Pages that link to "Item:Q638487"
From MaRDI portal
The following pages link to The eskolemization of universal quantifiers (Q638487):
Displaying 6 items.
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- Eskolemization in Intuitionistic Logic (Q3094144) (← links)
- Skolem Theory and Generalized Quantifiers (Q3511466) (← links)
- On Skolemization in constructive theories (Q3617374) (← links)
- (Q3981779) (← links)
- Skolemization in intermediate logics with the finite model property (Q4644539) (← links)