An elimination theorem of uniqueness conditions in the intuitionistic predicate calculus

DOI10.1017/S0027763000019723zbMath0526.03003OpenAlexW1488569420MaRDI QIDQ3041156

Nobuyoshi Motohashi

Publication date: 1982

Published in: Nagoya Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0027763000019723

zbMATH Keywords

classical predicate calculusintuitionistic predicate logicreplacement of a uniqueness condition

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• Some applications of Henkin quantifiers
• The axiomatization problem for fragments
• Proof theory

This page was built for publication: An elimination theorem of uniqueness conditions in the intuitionistic predicate calculus