Translator Disclaimer
2016 From Closure Games to Strong Kleene Truth
Stefan Wintein
Notre Dame J. Formal Logic 57(2): 153-179 (2016). DOI: 10.1215/00294527-3346590

Abstract

In this paper, we study the method of closure games, a game-theoretic valuation method for languages of self-referential truth developed by the author. We prove two theorems which jointly establish that the method of closure games characterizes all 3- and 4-valued strong Kleene fixed points in a novel, informative manner. Among others, we also present closure games which induce the minimal and maximal intrinsic fixed point of the strong Kleene schema.

Citation

Download Citation

Stefan Wintein. "From Closure Games to Strong Kleene Truth." Notre Dame J. Formal Logic 57 (2) 153 - 179, 2016. https://doi.org/10.1215/00294527-3346590

Information

Received: 19 May 2011; Accepted: 9 October 2013; Published: 2016
First available in Project Euclid: 11 January 2016

zbMATH: 1384.03117
MathSciNet: MR3482740
Digital Object Identifier: 10.1215/00294527-3346590

Subjects:
Primary: 03Axx, 03Bxx
Secondary: 03A05, 03B50

Rights: Copyright © 2016 University of Notre Dame

JOURNAL ARTICLE
27 PAGES


SHARE
Vol.57 • No. 2 • 2016
Back to Top