scientific article; zbMATH DE number 3849202

zbMATH Open0535.03009MaRDI QIDQ3318751FDOQ3318751

Authors: Nobuyoshi Motohashi 

Publication date: 1982

Title of this publication is not available (Why is that?)

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

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)

Cited In (3)

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

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)