Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Rodolfo C. Ertola-Biraben"'
Publikováno v:
Logic Journal of the IGPL. 28:1106-1129
It is well-known that adding to a lattice the usual relative meet complement is not conservative, in the sense that distributivity is implied. In this paper we consider a weak relative meet complement that does not have the mentioned effect. We mostl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::77552ed14472eadb3f835237737a1c85
https://doi.org/10.1093/jigpal/jzaa010
https://doi.org/10.1093/jigpal/jzaa010
Publikováno v:
Outstanding Contributions to Logic ISBN: 9783030769192
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::15b091f4d2c4984f6ef8a93f0a7b158b
https://doi.org/10.1007/978-3-030-76920-8_10
https://doi.org/10.1007/978-3-030-76920-8_10
Autor:
Rodolfo C. Ertola-Biraben
Publikováno v:
Soft Computing. 23:2271-2278
In this paper, we prove that the class of meet-complemented lattices expanded with the greatest regular below, which is right adjoint to the double meet-complement, is an equational class satisfying the Stone equality. It is also the case that the cl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e35603013de313d875bb59443ceaee9c
https://doi.org/10.1007/s00500-018-3572-4
https://doi.org/10.1007/s00500-018-3572-4
Publikováno v:
Logic Journal of the IGPL. 25:465-495
We investigate some modal operators of necessity and possibility in the context of meet-complemented (not necessarily distributive) lattices. We proceed in stages. We compare our operators with others.
Facultad de Ciencias Exactas
Facultad de Ciencias Exactas
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::333d710b71687bf1e711ff1ff762a4dd
https://doi.org/10.1093/jigpal/jzx011
https://doi.org/10.1093/jigpal/jzx011
Publikováno v:
Soft Computing
We expand FLew with a unary connective whose algebraic counterpart is the operation that gives the greatest complemented element below a given argument. We prove that the expanded logic is conservative and has the Finite Model Property. We also prove
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::717884fa9e7289a42b90cec62c00ae04
https://doi.org/10.1007/s00500-016-2275-y
https://doi.org/10.1007/s00500-016-2275-y