A Cut‐Free Calculus For Dummett's LC Quantified
From MaRDI portal
Publication:4206723
DOI10.1002/malq.19890350402zbMath0688.03038OpenAlexW2082297482MaRDI QIDQ4206723
Publication date: 1989
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19890350402
cut-eliminationintuitionistic predicate calculusGentzen-type systemDummett's LCmany-succedent sequents
Related Items (max. 100)
Intermediate logics admitting a structural hypersequent calculus ⋮ On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC ⋮ A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains ⋮ Completeness theorem for Dummett's LC quantified and some of its extensions ⋮ Hypersequent and display calculi -- a unified perspective ⋮ The Skolemization of existential quantifiers in intuitionistic logic ⋮ The bounded proof property via step algebras and step frames ⋮ Gentzen calculi for the existence predicate
This page was built for publication: A Cut‐Free Calculus For Dummett's LC Quantified