Pages that link to "Item:Q4206723"
From MaRDI portal
The following pages link to A Cut‐Free Calculus For Dummett's LC Quantified (Q4206723):
Displaying 8 items.
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Gentzen calculi for the existence predicate (Q817698) (← links)
- Completeness theorem for Dummett's LC quantified and some of its extensions (Q1207344) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- The Skolemization of existential quantifiers in intuitionistic logic (Q2503404) (← links)
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC (Q2974784) (← links)
- A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains (Q3010373) (← links)