Zobrazeno 1 - 3
of 3
pro vyhledávání: '"MARTÍN, H. J. SAN"'
Subresiduated lattices were introduced during the decade of 1970 by Epstein and Horn as an algebraic counterpart of some logics with strong implication previously studied by Lewy and Hacking. These logics are examples of subuintuitionistic logics, i.
Externí odkaz:
http://arxiv.org/abs/2211.02963
Autor:
Castiglioni, J. L., Martín, H. J. San
In this paper we provided an explicit construction for the left adjoint of the forgetful functor from the category of Heyting algebras to that of Hilbert algebras. This functor factorizes through the free implicative semilattice extension of a Hilber
Externí odkaz:
http://arxiv.org/abs/1705.03856
Autor:
LUBOMIRSKY, N.1 nlubomirsky@mate.unlp.edu.ar, MARTÍN, H. J. SAN1 hsanmartin@mate.unlp.edu.ar, BOTERO, W. J. ZULUAGA1 wijazubo@hotmail.com
Publikováno v:
Logic Journal of the IGPL. Jun2017, Vol. 25 Issue 3, p348-364. 17p.
