Pages that link to "Item:Q766669"
From MaRDI portal
The following pages link to The predicate calculus with \(\varepsilon\)-symbol (Q766669):
Displayed 6 items.
- Resolution is cut-free (Q972424) (← links)
- Efficient elimination of Skolem functions in \(\text{LK}^\text{h} \) (Q2144618) (← links)
- Non-elementary speed-ups in logic calculi (Q3545216) (← links)
- Semantics and Proof Theory of the Epsilon Calculus (Q5224489) (← links)
- Interpreting descriptions in intensional type theory (Q5718672) (← links)
- Herbrand complexity and the epsilon calculus with equality (Q6178471) (← links)