Carregant...
Fitxers
Tipus de document
ArticleVersió
Versió enviadaData de publicació
Tots els drets reservats
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/151957
Note on a six-valued extension of three valued logic
Títol de la revista
Autors
Director/Tutor
ISSN de la revista
Títol del volum
Recurs relacionat
Resum
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.
Descripció
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]
Matèries (anglès)
Citació
Citació
FONT, Josep m., MOUSSAVI, Massoud. Note on a six-valued extension of three valued logic. [consulta: 20 de gener de 2026]. [Disponible a: https://hdl.handle.net/2445/151957]