Completeness theorem for Dummett's LC quantified and some of its extensions
type: Item
instance of: scholarly article
title: Completeness theorem for Dummett's LC quantified and some of its extensions
zbMATH Open document ID: 0765.03004
DOI: 10.1007/BF00370118
author: Giovanna Corsi
published in: Studia Logica
publication date: 1993-04-01T00:00:00Z
review text: Dummett's logic LC quantified, Q-LC, is shown to be characterized by the extended frame \(\langle Q^ +,\leq,D\rangle\), where \(Q^ +\) is the set of non-negative rational numbers, \(\leq\) is the numerical relation ``less or equal than'' and \(D\) is the domain function such that for all \(v,w\in Q^ +\), \(D_ w\neq\emptyset\), and if \(v\leq w\), then \(D_ v\subseteq D_ w\). Moreover, simple completeness proofs of extensions of Q-LC are given.
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03B55
Mathematics Subject Classification ID: 03C35
zbMATH DE Number: 149613
zbMATH Keywords: Dummett's logic LC quantified
zbMATH Keywords: completeness
zbMATH Keywords: extensions
MaRDI profile type: Publication
cites work: A Cut‐Free Calculus For Dummett's LC Quantified
cites work: A logic characterized by the class of connected models with nested domains
cites work: Directed frames
cites work: A propositional calculus with denumerable matrix
cites work: Model theory for modal logic. I: The de re / de dicto distinction
cites work: On finite linear intermediate predicate logics
cites work: Ordered sets R and Q as bases of Kripke models
full work available at URL: https://doi.org/10.1007/bf00370118
OpenAlex ID: W1978639634
Recommended article: Q4793765
Recommended article: Typed Lambda Calculi and Applications
Recommended article: Q3509945
Recommended article: The completeness of the formal deductive system \(\mathcal{L}^*(n)\)
Recommended article: Q4724626
Recommended article: Q4222828
Recommended article: A Cut‐Free Calculus For Dummett's LC Quantified
Recommended article: On \(L_{\alpha,\omega}\) complete extensions of complete theories of Boolean algebras
Recommended article: Q3403376
Recommended article: Q3826625
description: scientific article; zbMATH DE number 149613