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.

Files

MPS_N086.pdf (712.5 KB)

Document type

Article

Version

Submitted version

Publication date

1990

All rights reserved

Please use this identifier to cite or link to this item: https://hdl.handle.net/2445/151957

Note on a six-valued extension of three valued logic

Journal Title

Authors

Director/Tutor

Journal ISSN

Volume Title

Related resource

Abstract

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.

Description

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]

Subject

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

Subject (English)

Universitat de Barcelona. Institut de Matemàtica

Citation

Collections

Preprints de Matemàtiques - Mathematics Preprint Series

Citation

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

Export metadata

JSON - METS

Share record