scientific article; zbMATH DE number 3849202

MaRDI QIDQ3318751zbMATH OpenFDO

Authors Nobuyoshi Motohashi

Publication date 1982

zbMATH Keywords

intermediate predicate logicsepsilon theoremsclassical first-order logic with equalityelimination theorems of uniqueness conditions

Mathematics Subject Classification ID

Classical first-order logic (03B10) Intermediate logics (03B55)

Recommendations

• Elimination Theorems of Uniqueness Conditions
• An Addition to “Cut Elimination in ε-Calculi”
• The epsilon calculus and Herbrand complexity
• Cut Elimination in ε‐Calculi
• scientific article; zbMATH DE number 3300566

Cited in

(3)

• Elimination Theorems of Uniqueness Conditions
• Non-elementary speed-ups in logic calculi
• Approximation theory of uniqueness conditions by existence conditions

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3318751)