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

Studia Logica 51 (2):317 - 335 (1992)
  Copy   BIBTEX

Abstract

Dummett's logic LC quantified, Q-LC, is shown to be characterized by the extended frame Q+, ,D, where Q+ is the set of non-negative rational numbers, is the numerical relation less or equal then and D is the domain function such that for all v, w Q+, Dv and if v w, then D v . D v D w . Moreover, simple completeness proofs of extensions of Q-LC are given.

Categories

Keywords

Reprint years

DOI

10.1007/bf00370118

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Completeness and conservative extension results for some Boolean relevant logics.Steve Giambrone & Robert K. Meyer - 1989 - Studia Logica 48 (1):1 - 14.
Bull's theorem by the method of diagrams.Giovanna Corsi - 1999 - Studia Logica 62 (2):163-176.
A content semantics for quantified relevant logics. II.Ross T. Brady - 1989 - Studia Logica 48 (2):243 - 257.
Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem.Stephen L. Bloom - 1973 - Notre Dame Journal of Formal Logic 14 (3):408-410.
Completeness and decidability of tense logics closely related to logics above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Algorithmic logic. Multiple-valued extensions.Helena Rasiowa - 1979 - Studia Logica 38 (4):317 - 335.
On the standard and rational completeness of some axiomatic extensions of the monoidal t-Norm logic.Francesc Esteva, Joan Gispert, Lluís Godo & Franco Montagna - 2002 - Studia Logica 71 (2):199 - 226.
Completeness and categoricity: Frege, gödel and model theory.Stephen Read - 1997 - History and Philosophy of Logic 18 (2):79-93.
A unified completeness theorem for quantified modal logics.Giovanna Corsi - 2002 - Journal of Symbolic Logic 67 (4):1483-1510.

Analytics

Added to PP
2009-01-28

Downloads
32 (#471,613)

6 months
4 (#678,769)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Giovanna Corsi
Università degli Studi di Bologna

Citations of this work

Epsilon theorems in intermediate logics.Matthias Baaz & Richard Zach - 2022 - Journal of Symbolic Logic 87 (2):682-720.

View all 12 citations / Add more citations

References found in this work

ModelTtheory for Modal Logic. Part I — The de re/de Dicto distinction.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):125 - 156.
Model theory for modal logic—part II The elimination of de re modality.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):277 - 306.
Directed frames.Giovanna Corsi & Silvio Ghilardi - 1989 - Archive for Mathematical Logic 29 (1):53-67.
On finite linear intermediate predicate logics.Hiroakira Ono - 1988 - Studia Logica 47 (4):391 - 399.
A Cut‐Free Calculus For Dummett's LC Quantified.Giovanna Corsi - 1989 - Mathematical Logic Quarterly 35 (4):289-301.

View all 10 references / Add more references