dc.creator | Almiñana Reinoso, Federico Gabriel | |
dc.creator | Pelaitay, Gustavo Andrés | |
dc.date.accessioned | 2022-03-05T02:25:38Z | |
dc.date.accessioned | 2022-10-15T01:58:58Z | |
dc.date.available | 2022-03-05T02:25:38Z | |
dc.date.available | 2022-10-15T01:58:58Z | |
dc.date.created | 2022-03-05T02:25:38Z | |
dc.date.issued | 2021-11-13 | |
dc.identifier | Almiñana Reinoso, Federico Gabriel; Pelaitay, Gustavo Andrés; Monadic k x j-rough Heyting algebras; Springer; Archive for Mathematical Logic; 2021; 13-11-2021; 1-16 | |
dc.identifier | 0933-5846 | |
dc.identifier | http://hdl.handle.net/11336/152934 | |
dc.identifier | 1432-0665 | |
dc.identifier | CONICET Digital | |
dc.identifier | CONICET | |
dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/4332732 | |
dc.description.abstract | In this paper, we introduce the variety of algebras, which we call monadic kxj-rough Heyting algebras. These algebras constitute an extension of monadic Heyting algebras and in 3x2 case they coincide with monadic 3-valued Lukasiewicz--Moisil algebras. Our main interest is the characterization of simple and subdirectly irreducible monadic kxj-rough Heyting algebras. In order to this, an Esakia-style duality for these algebras is developed. | |
dc.language | eng | |
dc.publisher | Springer | |
dc.relation | info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00153-021-00802-6 | |
dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s00153-021-00802-6 | |
dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
dc.rights | info:eu-repo/semantics/restrictedAccess | |
dc.subject | HEYTING ALGEBRAS | |
dc.subject | MONADIC HEYTING ALGEBRAS | |
dc.subject | K X J ROUGH HEYTING ALGEBRAS | |
dc.subject | MONADIC K X J ROUGH HEYTING ALGEBRAS | |
dc.title | Monadic k x j-rough Heyting algebras | |
dc.type | info:eu-repo/semantics/article | |
dc.type | info:ar-repo/semantics/artículo | |
dc.type | info:eu-repo/semantics/publishedVersion | |