Amb motiu del tancament d'estiu, la validació de documents es reprendrà a partir del 28 d'agost de 2026. Disculpeu les molèsties.
Con motivo del cierre de verano, la validación de documentos se reanudará a partir del 28 de agosto de 2026. Disculpad las molestias
Due to the summer closure, document validation will resume starting August 28, 2026. We apologize for any inconvenience.

Fitxers

MPS_N086.pdf (712.5 KB)

Tipus de document

Article

Versió

Versió enviada

Data de publicació

1990

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

Lògica matemàtica, Lògica algebraica, Teoria dels reticles, Intel·ligència artificial

Matèries (anglès)

Universitat de Barcelona. Institut de Matemàtica

Citació

Col·leccions

Preprints de Matemàtiques - Mathematics Preprint Series

Citació

FONT, Josep M. and MOUSSAVI, Massoud. Note on a six-valued extension of three valued logic. [consulted: 13 of August of 2026]. Available at: https://hdl.handle.net/2445/151957

Exportar metadades

JSON - METS

Compartir registre