Please use this identifier to cite or link to this item:
Title: A four-valued modal logic arising from Monteiro's last algebras
Author: Font, Josep M.
Rius Font, Miquel
Keywords: Lògica matemàtica
Lògica algebraica
Teoria de la computació
Universitat de Barcelona. Institut de Matemàtica
Issue Date: 1989
Publisher: Universitat de Barcelona
Series/Report no: Mathematics Preprint Series; 73
Abstract: We study the class of abstract logics projectively generated by the class of tetravalent modal algebras. They are modal logics and they turn out to be four-valued in the sense that they can be characterized using the natural logic on the four-element tetravalent modal algebra which generates this variety together with sorne special class of homomorphisms. We also characterize them by their abstract properties and prove a completeness theorem.
Note: Preprint enviat per a la seva publicació en una revista científica. Proceedings of the Twentieth International Symposium on Multiple-Valued Logic, 1990, pp. 85-92. []
Note: Reproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 32.14]
Related resource:
Appears in Collections:Preprints de Matemàtiques - Mathematics Preprint Series

Files in This Item:
File Description SizeFormat 
MPS_N073.pdf1.21 MBAdobe PDFView/Open

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