Intuitionistic ϵ‐ and τ‐calculi

DOI10.1002/malq.19950410409zbMath0837.03004OpenAlexW2058072553MaRDI QIDQ4857864

David DeVidi

Publication date: 13 May 1996

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

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

zbMATH Keywords

semanticsintuitionistic logic\(\tau\)-calculus\(\varepsilon\)-calculusfirst order intuitionistic predicate calculus

Mathematics Subject Classification ID

Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

EPSILON THEOREMS IN INTERMEDIATE LOGICS ⋮ Dialectica principles via Gödel doctrines ⋮ Herbrand complexity and the epsilon calculus with equality ⋮ Hilbert's epsilon as an operator of indefinite committed choice ⋮ Semantics and Proof Theory of the Epsilon Calculus ⋮ The epsilon calculus and Herbrand complexity

Cites Work

• Unnamed Item
• Unnamed Item
• Variable Binding Term Operators