Please use this identifier to cite or link to this item:
Title: Note on a six-valued extension of three valued logic
Author: Font Llovet, Josep Maria
Moussavi, Massoud
Keywords: Lògica matemàtica
Lògica algebraica
Teoria dels reticles
Intel·ligència artificial
Universitat de Barcelona. Institut de Matemàtica
Issue Date: 1990
Publisher: Universitat de Barcelona
Series/Report no: Mathematics Preprint Series; 86
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.
Note: 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. []
Note: Reproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 32.26]
Appears in Collections:Preprints de Matemàtiques - Mathematics Preprint Series

Files in This Item:
File Description SizeFormat 
MPS_N086.pdf712.5 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.