EPSILON THEOREMS IN INTERMEDIATE LOGICS

DOI10.1017/JSL.2021.103MaRDI QIDQ5082060zbMATH OpenOpenAlexWikidataFDO

Authors Matthias Baaz, Richard Zach

Publication date 15 June 2022

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1907.04477, https://philarchive.org/rec/BAAETI

zbMATH Keywords

epsilon calculusHerbrand's theoremintermediate logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Intuitionistic ϵ‐ and τ‐calculi
• The epsilon calculus and Herbrand complexity
• Epsilon Calculi
• Cut Elimination in ε‐Calculi
• Semantics and proof theory of the epsilon calculus

Cites work

• A propositional calculus with denumerable matrix
• A sequent-calculus based formulation of the extended first epsilon theorem
• Ackermann's substitution method (remixed)
• An Herbrand theorem for prenex formulas of LJ
• Completeness theorem for Dummett's LC quantified and some of its extensions
• Constructivism in mathematics. An introduction. Volume II
• First-order Gödel logics
• Heyting predicate calculus with epsilon symbol
• Hilbert's \(\varepsilon{}\)-operator and classical logic
• Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs
• scientific article; zbMATH DE number 218499 (Why is no real title available?)
• scientific article; zbMATH DE number 3250542 (Why is no real title available?)
• scientific article; zbMATH DE number 3300568 (Why is no real title available?)
• scientific article; zbMATH DE number 3032487 (Why is no real title available?)
• Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol
• Intuitionistic ϵ‐ and τ‐calculi
• On natural deduction for Herbrand constructive logics. I: Curry-Howard correspondence for Dummett's logic \(\mathsf {LC}\)
• On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames
• On the predicate logic of linear Kripke frames and some of its extensions
• Quantification in nonclassical logic. Volume I.
• Semantics and proof theory of the epsilon calculus
• THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
• The epsilon calculus and Herbrand complexity
• The Skolemization of prenex formulas in intermediate logics
• Unsound inferences make proofs shorter
• Zur Widerspruchsfreiheit der Zahlentheorie

Cited in

(3)

• Epsilon-logic is more expressive than first-order logic over finite structures
• Herbrand complexity and the epsilon calculus with equality
• Epsilon Theorems in Intermediate Logics

This page was built for publication: EPSILON THEOREMS IN INTERMEDIATE LOGICS

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