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

DOI10.1007/BF00370118zbMath0765.03004OpenAlexW1978639634MaRDI 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

extensionscompletenessDummett's logic LC quantified

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Categoricity and completeness of theories (03C35)

Related Items (13)

1998 European Summer Meeting of the Association for Symbolic Logic ⋮ On the predicate logics of finite Kripke frames ⋮ EPSILON THEOREMS IN INTERMEDIATE LOGICS ⋮ One-variable fragments of intermediate logics over linear frames ⋮ On duality and model theory for polyadic spaces ⋮ UNIFICATION IN SUPERINTUITIONISTIC PREDICATE LOGICS AND ITS APPLICATIONS ⋮ A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains ⋮ Completeness of intermediate logics with doubly negated axioms ⋮ The Skolemization of existential quantifiers in intuitionistic logic ⋮ 2004 Summer Meeting of the Association for Symbolic Logic ⋮ Computable Kripke models and intermediate logics ⋮ On the predicate logic of linear Kripke frames and some of its extensions ⋮ Gentzen calculi for the existence predicate

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

This page was built for publication: Completeness theorem for Dummett's LC quantified and some of its extensions