On natural deduction for Herbrand constructive logics. III: The strange case of the intuitionistic logic of constant domains
From MaRDI portal
Publication:3384897
Authors: Federico Aschieri 
Publication date: 17 December 2021
Full work available at URL: https://arxiv.org/abs/1803.07313
Recommendations
- Failure of interpolation in constant domain intuitionistic logic
- On natural deduction for Herbrand constructive logics. I: Curry-Howard correspondence for Dummett's logic \(\mathsf {LC}\)
- A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications
- Cut‐Elimination Theorem for the Logic of Constant Domains
- scientific article; zbMATH DE number 3853043
Cites Work
- Title not available (Why is that?)
- Lectures on the Curry-Howard isomorphism
- On the interpretation of intuitionistic number theory
- Classical recursion theory. Vol. II
- Constructivism in mathematics. An introduction. Volume II
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- Title not available (Why is that?)
- Nested sequents for intuitionistic logics
- On Herbrand's theorem
- Cut‐Elimination Theorem for the Logic of Constant Domains
- On natural deduction for Herbrand constructive logics. I: Curry-Howard correspondence for Dummett's logic \(\mathsf {LC}\)
- Title not available (Why is that?)
Cited In (5)
- What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?
- Title not available (Why is that?)
- Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice
- Constructive natural deduction and its ‘ω-set’ interpretation
- On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains
This page was built for publication: On natural deduction for Herbrand constructive logics. III: The strange case of the intuitionistic logic of constant domains
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384897)
