Zobrazeno 1 - 10
of 19
pro vyhledávání: '"José Patricio Díaz Varela"'
Publikováno v:
The Journal of Symbolic Logic. 88:74-92
An algebraically expandable (AE) class is a class of algebraic structures axiomatizable by sentences of the form $\forall \exists ! \mathop{\boldsymbol {\bigwedge }}\limits p = q$ . For a logic L algebraized by a quasivariety $\mathcal {Q}$ we show t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b12612b465404bf6717e789533f49c6
https://doi.org/10.1017/jsl.2022.47
https://doi.org/10.1017/jsl.2022.47
Autor:
Cecilia Rossana Cimadamore, Diego Nicolás Castaño, Laura Alicia Rueda, José Patricio Díaz Varela
Publikováno v:
Fuzzy Sets and Systems. 407:161-174
Fil: Castano, Diego Nicolas. Consejo Nacional de Investigaciones Cientificas y Tecnicas. Centro Cientifico Tecnologico Conicet - Bahia Blanca. Instituto de Matematica Bahia Blanca. Universidad Nacional del Sur. Departamento de Matematica. Instituto d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7abb397de1970dcc87af8c96a0dcefd1
https://doi.org/10.1016/j.fss.2020.02.002
https://doi.org/10.1016/j.fss.2020.02.002
Publikováno v:
Studia Logica. 109:937-967
Fil: Castano, Diego Nicolas. Consejo Nacional de Investigaciones Cientificas y Tecnicas. Centro Cientifico Tecnologico Conicet - Bahia Blanca. Instituto de Matematica Bahia Blanca. Universidad Nacional del Sur. Departamento de Matematica. Instituto d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::abf23c7a444c75c3d931e2613ac2d0ef
https://doi.org/10.1007/s11225-020-09934-x
https://doi.org/10.1007/s11225-020-09934-x
Publikováno v:
Mathematical Logic Quarterly. 67:88-104
Fil: Castano, Diego Nicolas. Consejo Nacional de Investigaciones Cientificas y Tecnicas. Centro Cientifico Tecnologico Conicet - Bahia Blanca. Instituto de Matematica Bahia Blanca. Universidad Nacional del Sur. Departamento de Matematica. Instituto d
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::95e9ac1de36f43425422018418e4bcab
https://doi.org/10.1002/malq.202000025
https://doi.org/10.1002/malq.202000025
Autor:
Cecilia Rossana Cimadamore, Diego Nicolás Castaño, Laura Alicia Rueda, José Patricio Díaz Varela
In this article we introduce the variety of monadic BL-algebras as BL-algebras endowed with two monadic operators ∀ and ∃. After a study of the basic properties of this variety we show that this class is the equivalent algebraic semantics of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5c330d8adc4c087695c33cf67a519e13
http://www.sciencedirect.com/science/article/pii/S0165011416304213
http://www.sciencedirect.com/science/article/pii/S0165011416304213
Publikováno v:
CONICET Digital (CONICET)
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
Consejo Nacional de Investigaciones Científicas y Técnicas
instacron:CONICET
In this article we study algebraic functions in {→, 1}-subreducts of MV-algebras, also known as Łukasiewicz implication algebras. A function is algebraic on an algebra A if it is definable by a conjunction of equations on A. We fully characterize
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::72cdf9438293fcfbe2786ca93fe21a6e
https://www.worldscientific.com/doi/abs/10.1142/S0218196716500119
https://www.worldscientific.com/doi/abs/10.1142/S0218196716500119
Publikováno v:
Soft Computing. 15:1449-1455
In this paper, we show that free algebras in the variety of residuated lattices and some of its subvarieties are directly indecomposable and show, as a consequence, the direct indecomposability of free algebras for some classes of their bounded impli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e47ee3ee09c9de80a63c2590904689c
https://doi.org/10.1007/s00500-010-0683-y
https://doi.org/10.1007/s00500-010-0683-y
Publikováno v:
Archive for Mathematical Logic. 45:1011-1020
Łukasiewicz implication algebras are {→,1}-subreducts of Wajsberg algebras (MV-algebras). They are the algebraic counterpart of Super-Łukasiewicz Implicational logics investigated in Komori, Nogoya Math J 72:127-133, 1978. The aim of this paper i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2fec5dd292aff20566c8337c76c60bd2
https://doi.org/10.1007/s00153-006-0023-1
https://doi.org/10.1007/s00153-006-0023-1
Autor:
Laura Rueda, Cecilia Rossana Cimadamore, Manuel Abad, Ana María Suardíaz, José Patricio Díaz Varela
Publikováno v:
Open Mathematics, Vol 3, Iss 2, Pp 215-227 (2005)
In this paper, the variety of closure n-valued Łukasiewicz algebras, that is, Łukasiewicz algebras of order n endowed with a closure operator, is investigated. The lattice of subvarieties in the particular case in which the open elements form a thr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::47e4535de969ed2b3b03d7e7a8df4d91
https://doi.org/10.2478/bf02479197
https://doi.org/10.2478/bf02479197
In this paper, we study the class of all monadic implicational subreducts, that is, the {→, ∀, 1}-subreducts of the class of monadic MV-algebras. We prove that this class is an equational class, which we denote by ML, and we give an equational ba
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::416fd98801b2762fac8c08e6e754e88f
https://link.springer.com/article/10.1007/s00012-014-0277-0
https://link.springer.com/article/10.1007/s00012-014-0277-0