Open Access
Fall 1999 Truth and the Liar in De Morgan-Valued Models
Hannes Leitgeb
Notre Dame J. Formal Logic 40(4): 496-514 (Fall 1999). DOI: 10.1305/ndjfl/1012429715


The aim of this paper is to give a certain algebraic account of truth: we want to define what we mean by De Morgan-valued truth models and show their existence even in the case of semantical closure: that is, languages may contain their own truth predicate if they are interpreted by De Morgan-valued models. Before we can prove this result, we have to repeat some basic facts concerning De Morgan-valued models in general, and we will introduce a notion of truth both on the object- and on the metalanguage level appropriate for such models. The definitions and the existence theorem are extensions of Kripke's, Woodruff's, and Visser's concepts and results concerning three- and four-valued truth models.


Download Citation

Hannes Leitgeb. "Truth and the Liar in De Morgan-Valued Models." Notre Dame J. Formal Logic 40 (4) 496 - 514, Fall 1999.


Published: Fall 1999
First available in Project Euclid: 30 January 2002

zbMATH: 0989.03009
MathSciNet: MR1858239
Digital Object Identifier: 10.1305/ndjfl/1012429715

Primary: 03Gxx
Secondary: 03Bxx

Rights: Copyright © 1999 University of Notre Dame

Vol.40 • No. 4 • Fall 1999
Back to Top