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'

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1040511343

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,026

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

This is the Title of This Thesis.Hiroshi Aoyama - 1988 - Dissertation, University of Illinois at Urbana-Champaign
The Strong Completeness of a System for Kleene's Three‐Valued Logic.John T. Kearns - 1979 - Mathematical Logic Quarterly 25 (3-6):61-68.
The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. II.M. Makkai - 1993 - Notre Dame Journal of Formal Logic 34 (4):471-498.
The fibrational formulation of intuitionistic predicate logic ${\rm I}$: completeness according to Gödel, Kripke, and Läuchli. I.M. Makkai - 1993 - Notre Dame Journal of Formal Logic 34 (3):334-377.
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.Beata Konikowska - 1990 - Studia Logica 49 (4):541 - 555.
Basic Predicate Calculus.Wim Ruitenburg - 1998 - Notre Dame Journal of Formal Logic 39 (1):18-46.
A system of predicate logic with transatomic units.Richard Butrick - 1987 - Notre Dame Journal of Formal Logic 28 (3):431-438.
Undecidability and intuitionistic incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
A deduction system for the full first-order predicate logic.Hubert H. Schneider - 1976 - Notre Dame Journal of Formal Logic 17 (3):439-445.
A Tree-sequent Calculus For A Natural Predicate Extension Of Visser's Propositional Logic.Ryo Ishigaki & Kentaro Kikuchi - 2007 - Logic Journal of the IGPL 15 (2):149-164.

Analytics

Added to PP
2010-08-24

Downloads
80 (#277,951)

6 months
21 (#143,295)

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