The Strong Completeness of a System Based on Kleene's Strong Three-Valued Logic

Notre Dame Journal of Formal Logic 35 (3):355-368 (1994)
  Copy   BIBTEX

Abstract

The present work, which was inspired by Kripke and McCarthy, is about a non-classical predicate logic system containing a truth predicate symbol. In this system, each sentence A is referred to not by a Gödel number but by its quotation name 'A'

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

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

Through your library

Similar books and articles

Analytics

Added to PP
2010-08-24

Downloads
73 (#298,031)

6 months
14 (#181,413)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Generalized Quantification in an Axiomatic Truth Theory.Ian Rumfitt - 2024 - Australasian Journal of Philosophy 102 (3):756-776.

Add more citations

References found in this work

Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
The Notion of Logical Consequence in the Logic of Inexact Predicates.John P. Cleave - 1974 - Mathematical Logic Quarterly 20 (19‐22):307-324.
The Notion of Logical Consequence in the Logic of Inexact Predicates.John P. Cleave - 1974 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (19-22):307-324.
The Calculus of Partial Predicates and Its Extension to Set Theory I.Hao Wang - 1961 - Mathematical Logic Quarterly 7 (17-18):283-288.
Ungroundedness in classical languages.Timothy McCarthy - 1988 - Journal of Philosophical Logic 17 (1):61 - 74.

View all 7 references / Add more references