Pages that link to "Item:Q1946675"

The following pages link to Epsilon substitution for first- and second-order predicate logic (Q1946675):

Displaying 8 items.

• A categorical interpretation of the intuitionistic, typed, first order logic with Hilbert's \(\varepsilon\)-terms (Q528519) (← links)
• Exact bounds on epsilon processes (Q535160) (← links)
• A termination proof for epsilon substitution using partial derivations (Q1401363) (← links)
• A characterization of those categories whose internal logic is Hilbert's \(\varepsilon\)-calculus (Q1715476) (← links)
• A method of epsilon substitution for the predicate logic with equality (Q1807464) (← links)
• Epsilon substitution method for \([\Pi^0_1,\Pi^0_1]\)-FIX (Q2576640) (← links)
• Epsilon-logic is more expressive than first-order logic over finite structures (Q2710605) (← links)
• Epsilon Substitution Method for  11 - CR: a Constructive Termination Proof (Q4454301) (← links)