Truth and falsehood. An inquiry into generalized logical values (Q656420)

The book presents a thoroughly elaborated logical theory of generalized truth values understood as subsets of some established set of (basic) truth entities. It summarizes and systematizes the results of the joint research projects of the authors, many of which have been published during the last few years. As such, a lot of thorough reviews have been presented in zbMATH. Chapter 1 contains material from their entry [``Truth values'', in: Stanford encyclopedia of philosophy (2010), \url{http://plato.stanford.edu/archives/sum2010/entries/truth-values/}]. Chapter 2 makes use of the analysis of the slingshot argument presented in their paper [``The slingshot argument and sentential identity'', Stud. Log. 91, No. 3, 429--455 (2009; Zbl 1178.03012)]. The Chapters 3 and 4 present the motivating ideas, basic definitions, and results from [``Some useful 16-valued logics: How a computer network should think'', J. Philos. Log. 34, No. 2, 121--153 (2005; Zbl 1094.03012); ``Hyper-contradictions, generalized truth values and logics of truth and falsehood'', J. Logic Lang. Inf. 15, No. 4, 403--424 (2006; Zbl 1159.03302)]. Chapter 5 contains a discussion on the axiom systems for trilattice logics introduced by \textit{S. Odintsov} [``On axiomatizing Shramko-Wansing's logic'', Stud. Log. 91, No. 3, 407--428 (2009; Zbl 1170.03014)]. Chapter 6 on sequent systems for trilattice logics is based on a paper by \textit{N. Kamide} and the second author [``Sequent calculi for some trilattice logics'', Rev. Symb. Log. 2, No. 2, 374--395 (2009; Zbl 1174.03008)]. Chapter 7 on intuitionistic trilattice logics presents material from a paper by \textit{H. Wansing} and \textit{N. Belnap} [``Generalized truth values. A reply to Dubois'', Log. J. IGPL 18, No. 6, 921--935 (2010; Zbl 1209.03020)]. The idea of a harmonious many-valued logic, presented in Chapter 8, was first developed in the authors' paper [``Harmonious many-valued propositional logics and the logic of computer networks'', in: Dialogues, logics and other strange things. Essays in honour of Shahid Rahman. London: College Publications. Tributes 7, 485--509 (2008; Zbl 1229.03025)]. The application of generalized truth values in the context of the discussion of Suszko's thesis in Chapter 9 originates from the paper [``Suszko's thesis, inferential many-valuedness, and the notion of a logical system'', Stud. Log. 88, No. 3, 405--429 (2008; Zbl 1189.03026); erratum ibid. 89, No. 1, 147 (2008; Zbl 1140.03309)]. Moreover, this chapter also includes some basic results about the interconnections between various entailment relations reported in the authors' paper [``Entailment relations and/as truth values'', Bull. Sect. Log., Univ. Łodz, Dep. Log. 36, No. 3--4, 131--143 (2007)].