# name
Note on a six-valued extension of three valued logic

# metadata.dc.description[].value
Preprint enviat per a la seva publicació en una revista científica: Journal of Applied Non-Classical Logics. Volume 3, 1993 - Issue 2, pp:173-187. [https://doi.org/10.1080/11663081.1993.10510806]

# metadata.dc.description.abstract[].value
In this paper we introduce a set of six logical values, which arises in the application
of three-valued logics to time intervals, find its algebraic structure, and
use it to define a six-valued logic. We then prove, by using algebraic properties
of the class of De Morgan algebras, that this semantically defined logic can be
axiomatized as Belnap's "useful" four-valued logic. Other directions of research
suggested by the construction of this set of six logical values are described.

# metadata.dc.relation.isformatof[].value
Reproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 32.26]

# metadata.dc.source[].value
Preprints de Matemàtiques - Mathematics Preprint Series

# metadata.dc.subject.other[].value
Universitat de Barcelona. Institut de Matemàtica

# metadata.dc.title[].value
Note on a six-valued extension of three valued logic