On natural deduction for Herbrand constructive logics. III: The strange case of the intuitionistic logic of constant domains

MaRDI QIDQ3384897zbMATH OpenFDO

Authors Federico Aschieri

Publication date 17 December 2021

Full work available at URL https://arxiv.org/abs/1803.07313, http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLC2018.1

Mathematics Subject Classification ID

Logic in computer science (03B70)

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

• scientific article; zbMATH DE number 5910657 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3212008 (Why is no real title available?)
• Classical recursion theory. Vol. II
• Constructivism in mathematics. An introduction. Volume II
• Cut‐Elimination Theorem for the Logic of Constant Domains
• Lectures on the Curry-Howard isomorphism
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Nested sequents for intuitionistic logics
• On Herbrand's theorem
• On natural deduction for Herbrand constructive logics. I: Curry-Howard correspondence for Dummett's logic \(\mathsf {LC}\)
• On the interpretation of intuitionistic number theory

Cited in

(5)

• Constructive natural deduction and its ‘ω-set’ interpretation
• What kinds of connectives cause the difference between intuitionistic predicate logic and the logic of constant domains?
• scientific article; zbMATH DE number 5910657 (Why is no real title available?)
• Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice
• 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)