A note on two's company: ``The humbug of many logical values'' (Q1682300)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A note on two's company: ``The humbug of many logical values'' |
scientific article |
Statements
A note on two's company: ``The humbug of many logical values'' (English)
0 references
29 November 2017
0 references
In [in: Logica universalis. Towards a general theory of logic. Basel: Birkhäuser. 169--189 (2005; Zbl 1076.03006)], \textit{C. Caleiro} et al. discuss Suszko's thesis and they present a machinery to construct a two-valued semantics for a large family of finitely-valued logics. One of the key elements of their proofs is the so called truth-values separation. In the article under review, the author presents an alternative proof, using some Gray codes, to show the truth-values separation for a smaller family of many-valued logics. In particular, the author devotes his analysis to the Łukasiewicz finitely-valued logics, the logics related to each finite MV-chain (see [\textit{R. L. O. Cignoli} et al., Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer Academic Publishers (2000; Zbl 0937.06009)]). The interested reader about Suszko's thesis, two-valued semantics and many-valued logics could also consult [\textit{J. M. Font}, Stud. Log. 91, No. 3, 383--406 (2009; Zbl 1169.03019)], for a perspective from the abstract algebraic logic point of view.
0 references
Gray code
0 references
Łukasiewicz logic
0 references
bivalence
0 references
Suszko's thesis
0 references
separating truth-values
0 references
0 references