Elimination Theorems of Uniqueness Conditions

DOI10.1002/MALQ.19820283306MaRDI QIDQ3309833zbMATH OpenOpenAlexFDO

Authors Nobuyoshi Motohashi

Publication date 1982

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19820283306

zbMATH Keywords

elimination theorem of uniqueness conditionepsilon theoremprovabilitySkolem functor

Mathematics Subject Classification ID

Classical first-order logic (03B10) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 3849202
• Approximation theory of uniqueness conditions by existence conditions
• Eliminating definitions and Skolem functions in first-order logic
• Elimination problems in logic: a brief history
• scientific article; zbMATH DE number 3296224

Cited in

(3)

• scientific article; zbMATH DE number 3849202 (Why is no real title available?)
• Non-elementary speed-ups in logic calculi
• Approximation theory of uniqueness conditions by existence conditions

This page was built for publication: Elimination Theorems of Uniqueness Conditions

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