A Completenesss Theorem for a 3-Valued Semantics for a First-order Language

Abstract

This document presents a Gentzen-style deductive calculus and proves that it is complete with respect to a 3-valued semantics for a language with quantifiers. The semantics resembles the strong Kleene semantics with respect to conjunction, disjunction and negation. The completeness proof for the sentential fragment fills in the details of a proof sketched in Arnon Avron (2003). The extension to quantifiers is original but uses standard techniques.

Links

PhilArchive

External links

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

Through your library

  • Only published works are available at libraries.

Similar books and articles

Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
Factor semantics forn-valued logics.A. S. Karpenko - 1983 - Studia Logica 42 (2-3):179 - 185.
Four-valued Logic.Katalin Bimbó & J. Michael Dunn - 2001 - Notre Dame Journal of Formal Logic 42 (3):171-192.
“Four-Valued” Semantics for the Relevant Logic R.Edwin D. Mares - 2004 - Journal of Philosophical Logic 33 (3):327-341.
Relational Semantics for Kleene Logic and Action Logic.Katalin Bimbó & J. ~Michael Dunn - 2005 - Notre Dame Journal of Formal Logic 46 (4):461-490.

Analytics

Added to PP
2015-07-20

Downloads
164 (#78,400)

6 months
13 (#73,245)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christopher Gauker
University of Salzburg

Citations of this work

No citations found.

Add more citations

References found in this work

The extended mind.Andy Clark & David J. Chalmers - 1998 - Analysis 58 (1):7-19.
New work for a theory of universals.David K. Lewis - 1983 - Australasian Journal of Philosophy 61 (4):343-377.
Empiricism and the philosophy of mind.Wilfrid S. Sellars - 1956 - Minnesota Studies in the Philosophy of Science 1:253-329.
Outline of a theory of truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
The Problems of Philosophy.Bertrand Russell - 1912 - Home University Library.

View all 64 references / Add more references