Pages that link to "Item:Q1807464"
From MaRDI portal
The following pages link to A method of epsilon substitution for the predicate logic with equality (Q1807464):
Displaying 7 items.
- A termination proof for epsilon substitution using partial derivations (Q1401363) (← links)
- Epsilon substitution method for theories of jump hierarchies (Q1407530) (← links)
- Epsilon substitution for \(ID_1\) via cut-elimination (Q1661673) (← links)
- Epsilon substitution for first- and second-order predicate logic (Q1946675) (← links)
- Ackermann's substitution method (remixed) (Q2503393) (← links)
- Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX (Q2576640) (← links)
- An Addition to “Cut Elimination in ε-Calculi” (Q3469101) (← links)