Zobrazeno 1 - 10
of 14
pro vyhledávání: '"DIEGO NICOLÁS CASTAÑO"'
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
The variety SH of semi-Heyting algebras was introduced by H. P. Sankappanavar (in: Proceedings of the 9th “Dr. Antonio A. R. Monteiro” Congress, Universidad Nacional del Sur, Bahía Blanca, 2008) [13] as an abstraction of the variety of Heyting a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f2f3641888a8d225c667cba34909b800
https://link.springer.com/article/10.1007/s11225-016-9675-y
https://link.springer.com/article/10.1007/s11225-016-9675-y
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:
Studia Logica. 98:267-283
In this paper we study some questions concerning Łukasiewicz implication algebras. In particular, we show that every subquasivariety of Łukasiewicz implication algebras is, in fact, a variety. We also derive some characterizations of congruence per
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8640ff3365528b63eecd7b1d18035944
https://doi.org/10.1007/s11225-011-9329-z
https://doi.org/10.1007/s11225-011-9329-z
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
In this article we study in detail the regular elements of a bounded, commutative and integral residuated lattice. We introduce the notion of a regular variety and explore its relationship with the Kolmogorov negative translation. In addition, we inv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::302e3f51ea10ec99c28721b782cfe524
http://link.springer.com/article/10.1007/s00012-014-0311-2
http://link.springer.com/article/10.1007/s00012-014-0311-2