Completeness theorem for Dummett's LC quantified and some of its extensions
From MaRDI portal
Publication:1207344
DOI10.1007/BF00370118zbMath0765.03004MaRDI QIDQ1207344
Publication date: 1 April 1993
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00370118
03B20: Subsystems of classical logic (including intuitionistic logic)
03B55: Intermediate logics
03C35: Categoricity and completeness of theories
Related Items
EPSILON THEOREMS IN INTERMEDIATE LOGICS, UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS, Completeness of intermediate logics with doubly negated axioms, On duality and model theory for polyadic spaces, On the predicate logic of linear Kripke frames and some of its extensions, Gentzen calculi for the existence predicate, Computable Kripke models and intermediate logics, On the predicate logics of finite Kripke frames, The Skolemization of existential quantifiers in intuitionistic logic, One-variable fragments of intermediate logics over linear frames, A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains, 2004 Summer Meeting of the Association for Symbolic Logic, 1998 European Summer Meeting of the Association for Symbolic Logic
Cites Work
- Ordered sets R and Q as bases of Kripke models
- On finite linear intermediate predicate logics
- Model theory for modal logic. I: The de re / de dicto distinction
- A logic characterized by the class of connected models with nested domains
- Directed frames
- A propositional calculus with denumerable matrix
- A Cut‐Free Calculus For Dummett's LC Quantified