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.Author's Profile
Links
PhilArchive
External links
(no proxy)
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.
My notes
Similar books and articles
Axiomatization of a Denotational Semantics for First-order Logic.C. Vermeulen - 2004 - Logic Journal of the IGPL 12 (4):277-299.
Kripke-style semantics for many-valued logics.Franco Montagna & Lorenzo Sacchetti - 2003 - Mathematical Logic Quarterly 49 (6):629.
Can a many-valued language functionally represent its own semantics?Jeffrey Ketland - 2003 - Analysis 63 (4):292–297.
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.
Corrigendum to "Kripke-style semantics for many-valued logics".Franco Montagna & Lorenzo Sacchetti - 2004 - Mathematical Logic Quarterly 50 (1):104.
A Routley–Meyer Semantics for Gödel 3-Valued Logic and Its Paraconsistent Counterpart.Gemma Robles - 2013 - Logica Universalis 7 (4):507-532.
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)
2015-07-20
Downloads
164 (#78,400)
6 months
13 (#73,245)
Historical graph of downloads
Author's Profile
References found in this work
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.
