The following pages link to (Q5579476):
Displayed 5 items.
- The eskolemization of universal quantifiers (Q638487) (← links)
- Resolution is cut-free (Q972424) (← links)
- The Skolemization of prenex formulas in intermediate logics (Q1740611) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- Intuitionistic Existential Instantiation and Epsilon Symbol (Q5213612) (← links)