# name
A four-valued modal logic arising from Monteiro's last algebras

# metadata.dc.description[].value
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.  [http://doi.org/10.1109/ISMVL.1990.122601]

# metadata.dc.description.abstract[].value
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.

# metadata.dc.relation.isformatof[].value
Reproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 32.14]

# metadata.dc.source[].value
Preprints de Matemàtiques - Mathematics Preprint Series

# metadata.dc.subject.other[].value
Universitat de Barcelona. Institut de Matemàtica

# metadata.dc.title[].value
A four-valued modal logic arising from Monteiro's last algebras