The following pages link to (Q4325774):
Displaying 8 items.
- Completeness of a first-order temporal logic with time-gaps (Q1350524) (← links)
- A termination proof for epsilon substitution using partial derivations (Q1401363) (← links)
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- Epsilon substitution for transfinite induction (Q1778059) (← links)
- A method of epsilon substitution for the predicate logic with equality (Q1807464) (← links)
- Epsilon substitution method for elementary analysis (Q1908821) (← links)
- Cut elimination for a simple formulation of epsilon calculus (Q2478554) (← links)
- Ackermann's substitution method (remixed) (Q2503393) (← links)