Carregant...
Fitxers
Tipus de document
ArticleVersió
Versió enviadaData de publicació
Tots els drets reservats
Si us plau utilitzeu sempre aquest identificador per citar o enllaçar aquest document: https://hdl.handle.net/2445/151824
A four-valued modal logic arising from Monteiro's last algebras
Títol de la revista
Autors
Director/Tutor
ISSN de la revista
Títol del volum
Recurs relacionat
Resum
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.
Descripció
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]
Matèries (anglès)
Citació
Citació
FONT, Josep m., RIUS FONT, Miquel. A four-valued modal logic arising from Monteiro's last algebras. [consulta: 13 de desembre de 2025]. [Disponible a: https://hdl.handle.net/2445/151824]