The logic of generalized truth values and the logic of bilattices (Q2350215): Difference between revisions

The present paper is devoted to trilattices, introduced in [\textit{Y. Shramko} and \textit{H. Wansing}, J. Philos. Log. 34, No. 2, 121--153 (2005; Zbl 1094.03012)], and in particular to the structure called SIXTEEN\(_3\). For more details we quote the summary of the article (the references within have been slightly modified): This paper sheds light on the relationship between the logic of generalized truth values and the logic of bilattices. It suggests a definite solution to the problem of axiomatizing the truth and falsity consequence relations, \(\models_t\) and \(\models_f\) , considered in a language without implication and determined via the truth and falsity orderings on the trilattice SIXTEEN\(_3\) [loc. cit.]. The solution is based on the fact that a certain algebra isomorphic to SIXTEEN\(_3\) generates the variety of commutative and distributive bilattices with conflation [\textit{U. Rivieccio}, An algebraic study of bilattice-based logics. Barcelona: University of Barcelona (PhD Thesis) (2010)].