Back to Search Start Over

The Logic of Generalized Truth Values and the Logic of Bilattices

Authors :
Sergei P. Odintsov
Heinrich Wansing
Source :
Studia Logica. 103:91-112
Publication Year :
2014
Publisher :
Springer Science and Business Media LLC, 2014.

Abstract

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}$$ ? t and $${\models_f}$$ ? f , considered in a language without implication and determined via the truth and falsity orderings on the trilattice SIXTEEN 3 (Shramko and Wansing, J Philos Logic, 34:121---153, 2005). 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 (Rivieccio, 2010).

Details

ISSN :
15728730 and 00393215
Volume :
103
Database :
OpenAIRE
Journal :
Studia Logica
Accession number :
edsair.doi...........1033eff3f56ace4fd28d270449b69613
Full Text :
https://doi.org/10.1007/s11225-014-9546-3