Zobrazeno 1 - 10
of 13
pro vyhledávání: '"Marta Sagastume"'
Autor:
Marta Sagastume
Publikováno v:
Revista de Educación Matemática, Vol 24, Iss 3 (2009)
Externí odkaz:
https://doaj.org/article/a00e5d20b9e844f1a1c0f4d4db51bc0f
Publikováno v:
Journal of Applied Non-Classical Logics. 18:413-425
Let L be a commutative residuated lattice and let f : Lk → L a function. We give a necessary and sufficient condition for f to be compatible with respect to every congruence on L. We use this characterization of compatible functions in order to pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6f2cf41a99f4b83f2cb1b090430391d
https://doi.org/10.3166/jancl.18.413-425
https://doi.org/10.3166/jancl.18.413-425
Publikováno v:
SEDICI (UNLP)
Universidad Nacional de La Plata
instacron:UNLP
Universidad Nacional de La Plata
instacron:UNLP
An equivalence between the category of MV-algebras and the category MV∙ is given in Castiglioni et al. (Studia Logica 102(1):67–92, 2014). An integral residuated lattice with bottom is an MV-algebra if and only if it satisfies the equations a=¬
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::de23b0cfd9d3983f7503a53682e3f8dd
http://sedici.unlp.edu.ar/handle/10915/107887
http://sedici.unlp.edu.ar/handle/10915/107887
Publikováno v:
Logic Journal of IGPL. 15:109-119
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::07dec9cea92061ff18ad15f4b1b165f3
https://doi.org/10.1093/jigpal/jzl037
https://doi.org/10.1093/jigpal/jzl037
Autor:
Marta Sagastume
Publikováno v:
Journal of Applied Non-Classical Logics. 15:265-283
It is well known that there is a categorical equivalence between lattice-ordered Abelian groups (or l-groups) and conical BCK-algebras (see [COR 80]). The aim of this paper is to study this equival...
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0177178d42017787f4deade5525264e3
https://doi.org/10.3166/jancl.15.265-283
https://doi.org/10.3166/jancl.15.265-283
Publikováno v:
Fuzzy Sets and Systems. 138:3-23
We extend Makkai's proof of strong amalgamation (push-outs of monos along arbitrary maps are monos) from the category of Heyting algebras to a class which includes the categories of symmetric bounded distributive lattices, symmetric Heyting algebras,
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::84e37328801f31b697066260d228ac11
https://doi.org/10.1016/s0165-0114(02)00565-1
https://doi.org/10.1016/s0165-0114(02)00565-1
Publikováno v:
Studia Logica. 64:61-81
The aim of this paper is to apply properties of the double dual endofunctor on the category of bounded distributive lattices and some extensions thereof to obtain completeness of certain non-classical propositional logics in a unified way. In particu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d9b8a87326200a26c9ff179ccf9fb8f8
https://doi.org/10.1023/a:1005238330484
https://doi.org/10.1023/a:1005238330484
Autor:
Adriana Galli, Marta Sagastume
Publikováno v:
Journal of Applied Non-Classical Logics. 9:107-120
In an unpublished paper(see [9]), we prove the equivalence between validity in 3L-models and algebraic validity in 3-valued Lukasiewicz algebras. R. Cignoli and M. Sagastume de Gallego present in [4] an intrinsic definition of the operators s, for i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::565d212bb1bbac55e022ffe13078dde6
https://doi.org/10.1080/11663081.1999.10510959
https://doi.org/10.1080/11663081.1999.10510959
Publikováno v:
SEDICI (UNLP)
Universidad Nacional de La Plata
instacron:UNLP
Universidad Nacional de La Plata
instacron:UNLP
In this paper we expand previous results obtained in [2] about the study of categorical equivalence between the category IRL 0 of integral residuated lattices with bottom, which generalize MV-algebras and a category whose objects are called c-differe
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b6270c0efddf359793bb82000db63a6c
http://sedici.unlp.edu.ar/handle/10915/139814
http://sedici.unlp.edu.ar/handle/10915/139814
Publikováno v:
SEDICI (UNLP)
Universidad Nacional de La Plata
instacron:UNLP
Universidad Nacional de La Plata
instacron:UNLP
Motivated by an old construction due to J. Kalman that relates distributive lattices and centered Kleene algebras we define the functor K• relating integral residuated lattices with 0 (IRL0) with certain involutive residuated lattices. Our work is
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f454a5b2c0ace4a1b7e5bff71021687
http://sedici.unlp.edu.ar/handle/10915/139459
http://sedici.unlp.edu.ar/handle/10915/139459