Completeness theorem for Dummett's LC quantified and some of its extensions (Q1207344): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:31, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Completeness theorem for Dummett's LC quantified and some of its extensions |
scientific article |
Statements
Completeness theorem for Dummett's LC quantified and some of its extensions (English)
0 references
1 April 1993
0 references
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.
0 references
Dummett's logic LC quantified
0 references
completeness
0 references
extensions
0 references