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

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]

Detalhes bibliográficos
Autores: Font, Josep M., Rius Font, Miquel
Formato: artículo
Estado:Versión enviada para evaluación y publicación
Fecha de publicación:1989
País:España
Recursos:Universidad de Barcelona
Repositorio:Dipòsit Digital de la UB
OAI Identifier:oai:diposit.ub.edu:2445/151824
Acesso em linha:https://hdl.handle.net/2445/151824
Access Level:acceso abierto
Palavra-chave:Lògica matemàtica
Lògica algebraica
Teoria de la computació
Universitat de Barcelona. Institut de Matemàtica
id ES_2d86e9a9b505aecd688a116a2a45c0ef
oai_identifier_str oai:diposit.ub.edu:2445/151824
network_acronym_str ES
network_name_str España
repository_id_str
spelling A four-valued modal logic arising from Monteiro's last algebrasFont, Josep M.Rius Font, MiquelLògica matemàticaLògica algebraicaTeoria de la computacióUniversitat de Barcelona. Institut de MatemàticaPreprint 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]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.Universitat de Barcelona1989info:eu-repo/semantics/articleinfo:eu-repo/semantics/submittedVersionapplication/pdfhttps://hdl.handle.net/2445/151824Preprints de Matemàtiques - Mathematics Preprint Seriesreponame:Dipòsit Digital de la UBinstname:Universidad de BarcelonaInglésReproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 32.14]Mathematics Preprint Series; 73http://doi.org/10.1109/ISMVL.1990.122601(c) Josep M. Rius et al., 1989info:eu-repo/semantics/openAccessoai:diposit.ub.edu:2445/1518242026-05-27T06:46:51Z
dc.title.none.fl_str_mv A four-valued modal logic arising from Monteiro's last algebras
title A four-valued modal logic arising from Monteiro's last algebras
spellingShingle A four-valued modal logic arising from Monteiro's last algebras
Font, Josep M.
Lògica matemàtica
Lògica algebraica
Teoria de la computació
Universitat de Barcelona. Institut de Matemàtica
title_short A four-valued modal logic arising from Monteiro's last algebras
title_full A four-valued modal logic arising from Monteiro's last algebras
title_fullStr A four-valued modal logic arising from Monteiro's last algebras
title_full_unstemmed A four-valued modal logic arising from Monteiro's last algebras
title_sort A four-valued modal logic arising from Monteiro's last algebras
dc.creator.none.fl_str_mv Font, Josep M.
Rius Font, Miquel
author Font, Josep M.
author_facet Font, Josep M.
Rius Font, Miquel
author_role author
author2 Rius Font, Miquel
author2_role author
dc.subject.none.fl_str_mv Lògica matemàtica
Lògica algebraica
Teoria de la computació
Universitat de Barcelona. Institut de Matemàtica
topic Lògica matemàtica
Lògica algebraica
Teoria de la computació
Universitat de Barcelona. Institut de Matemàtica
description 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]
publishDate 1989
dc.date.none.fl_str_mv 1989
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/submittedVersion
format article
status_str submittedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/2445/151824
url https://hdl.handle.net/2445/151824
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Reproducció digital del document original en paper [CRAI Biblioteca de Matemàtiques i Informàtica - Dipòsit Departament CAIXA 32.14]
Mathematics Preprint Series; 73
http://doi.org/10.1109/ISMVL.1990.122601
dc.rights.none.fl_str_mv (c) Josep M. Rius et al., 1989
info:eu-repo/semantics/openAccess
rights_invalid_str_mv (c) Josep M. Rius et al., 1989
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universitat de Barcelona
publisher.none.fl_str_mv Universitat de Barcelona
dc.source.none.fl_str_mv Preprints de Matemàtiques - Mathematics Preprint Series
reponame:Dipòsit Digital de la UB
instname:Universidad de Barcelona
instname_str Universidad de Barcelona
reponame_str Dipòsit Digital de la UB
collection Dipòsit Digital de la UB
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869405326473691137
score 15.300719

Registos relacionados