Zobrazeno 1 - 10
of 29
pro vyhledávání: '"José Luis Castiglioni"'
Publikováno v:
Studia Logica. 111:431-452
Publikováno v:
Soft Computing. 26:3187-3195
Publikováno v:
Revista de la Unión Matemática Argentina. :295-304
Publikováno v:
Archive for Mathematical Logic. 61:155-172
In this paper we study the variety of order Hilbert algebras, which is the equivalent algebraic semantics of the order implicational calculus of Bull (J Symb Logic, 29:33–34, 1964).
Publikováno v:
Fuzzy Sets and Systems. 397:107-122
Fil: Castiglioni, Jose Luis. Universidad Nacional de La Plata. Facultad de Ciencias Exactas. Departamento de Matematicas; Argentina. Consejo Nacional de Investigaciones Cientificas y Tecnicas. Centro Cientifico Tecnologico Conicet - La Plata; Argenti
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
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
We obtain a duality between the category of locally unital finite MTL-algebras and the category of finite labeled trees. In addition we prove that certain poset products of MTL-algebras are in fact, sheaves of MTL-chains over Alexandrov spaces. Final
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2cb4792dc539adb9c90805b37ab49b2f
https://www.sciencedirect.com/science/article/abs/pii/S0165011419301897
https://www.sciencedirect.com/science/article/abs/pii/S0165011419301897
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Studia Logica. 106:675-690
An l-hemi-implicative semilattice is an algebra A=(A,∧,→,1) such that (A,∧,1) is a semilattice with a greatest element 1 and satisfies: (1) for every a,b,c∈A , a≤b→c implies a∧b≤c and (2) a→a=1 . An l-hemi-implicative semilattice is
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