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

Links

PhilArchive



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

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

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.
Kleene's three valued logics and their children.Melvin Fitting - unknown
A Mechanization of Strong Kleene Logic for Partial Functions.Manfred Kerber Michael Kohlhase - unknown
Kleene's logic, generalized.Melvin Fitting - unknown
How to avoid deviance (in logic).Walter Sinnott-Armstrong & Amit Malhotra - 2002 - History and Philosophy of Logic 23 (3):215--36.
Well-Founded Semantics, Generalized.Melvin C. Fitting - unknown
A strong completeness theorem for $3$-valued logic. [REVIEW]H. Goldberg, H. Leblanc & G. Weaver - 1974 - Notre Dame Journal of Formal Logic 15 (2):325-330.
Axiomatizing Kripke’s Theory of Truth.Volker Halbach & Leon Horsten - 2006 - Journal of Symbolic Logic 71 (2):677 - 712.
Bilattices and the Semantics of Logic Programming.Melvin Fitting - unknown
On canonicity and strong completeness conditions in intermediate propositional logics.Silvio Ghilardi & Pierangelo Miglioli - 1999 - Studia Logica 63 (3):353-385.

Analytics

Added to PP
2010-08-24

Downloads
53 (#293,652)

6 months
4 (#818,853)

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.

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.
The Calculus of Partial Predicates and Its Extension to Set Theory I.Hao Wang - 1961 - Mathematical Logic Quarterly 7 (17-18):283-288.

View all 9 references / Add more references