Zobrazeno 1 - 10
of 145
pro vyhledávání: '"JANSANA, RAMON"'
Autor:
Bezhanishvili, Guram, Jansana, Ramon
We develop a new duality for distributive and implicative meet semi-lattices. For distributive meet semi-lattices our duality generalizes Priestley's duality for distributive lattices and provides an improvement of Celani's duality. Our generalized P
Externí odkaz:
http://arxiv.org/abs/2410.23664
Autor:
Esteban, María, Jansana, Ramon
We first present a Priestley-style dualitiy for the classes of algebras that are the algebraic counterpart of some congruential, finitary and filter-distributive logic with theorems. Then we analyze which properties of the dual spaces correspond to p
Externí odkaz:
http://arxiv.org/abs/2003.00999
In this paper we define a functor from the algebraic category of frontal Hilbert algebras to the algebraic category of frontal implicative semilattices which is left adjoint to the forgetful functor from the category of frontal implicative semilattic
Externí odkaz:
http://arxiv.org/abs/1811.03698
In this paper we introduce and study a variety of algebras that properly includes integral distributive commutative residuated lattices and weak Heyting algebras. Our main goal is to give a characterization of the principal congruences in this variet
Externí odkaz:
http://arxiv.org/abs/1804.06933
Hemi-implicative semilattices (lattices), originally defined under the name of weak implicative semilattices (lattices), were introduced by the second author of the present paper. A hemi-implicative semilattice is an algebra $(H,\wedge,\rightarrow,1)
Externí odkaz:
http://arxiv.org/abs/1708.09490
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2019 Apr 01. 107(2), 351-374.
Externí odkaz:
https://www.jstor.org/stable/45096673
Publikováno v:
Studia Logica: An International Journal for Symbolic Logic, 2017 Aug 01. 105(4), 703-760.
Externí odkaz:
https://www.jstor.org/stable/45096618
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.
Autor:
Czelakowski, Janusz, Jansana, Ramon
Publikováno v:
The Journal of Symbolic Logic, 2000 Jun 01. 65(2), 641-668.
Externí odkaz:
https://www.jstor.org/stable/2586559
Publikováno v:
Reports on Mathematical Logic. (52):57-68
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=573687