Completeness theorem for Dummett's LC quantified and some of its extensions

DOI10.1007/BF00370118zbMath0765.03004MaRDI QIDQ1207344

Giovanna Corsi

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

zbMATH Keywords

extensions; completeness; Dummett's logic LC quantified

Mathematics Subject Classification ID

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