EPSILON THEOREMS IN INTERMEDIATE LOGICS
From MaRDI portal
Publication:5082060
DOI10.1017/jsl.2021.103OpenAlexW4206500272WikidataQ113858287 ScholiaQ113858287MaRDI QIDQ5082060
Publication date: 15 June 2022
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1907.04477
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Quantification in nonclassical logic. Volume I.
- On the predicate logic of linear Kripke frames and some of its extensions
- The epsilon calculus and Herbrand complexity
- Constructivism in mathematics. An introduction. Volume II
- Completeness theorem for Dummett's LC quantified and some of its extensions
- Hilbert's \(\varepsilon{}\)-operator and classical logic
- An Herbrand theorem for prenex formulas of LJ
- Heyting predicate calculus with epsilon symbol
- A sequent-calculus based formulation of the extended first epsilon theorem
- The Skolemization of prenex formulas in intermediate logics
- First-order Gödel logics
- Ackermann's substitution method (remixed)
- Zur Widerspruchsfreiheit der Zahlentheorie
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC
- Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem, and consistency proofs
- A propositional calculus with denumerable matrix
- On Non-axiomatizability of Superintuitionistic Predicate Logics of Some Classes of Well-founded and Dually Well-founded Kripke Frames
- UNSOUND INFERENCES MAKE PROOFS SHORTER
- Intuitionistic Predicate Calculus with ^|^epsilon;-Symbol
- Intuitionistic ϵ‐ and τ‐calculi
- Semantics and Proof Theory of the Epsilon Calculus
- THE CALCULUS OF THE WEAK "LAW OF EXCLUDED MIDDLE"
This page was built for publication: EPSILON THEOREMS IN INTERMEDIATE LOGICS
