Showing 1–8 of 8 results for author: Martin, H J S

On subreducts of subresiduated lattices and logic

Authors: J. L. Castiglioni, V. Fernández, H. F. Mallea, H. J. San Martín

Abstract: 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.e., logics in the language of intuitionistic logic that are defined semantically by using Kripke models, in the same way as intuitionistic logic is de… ▽ More 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.e., logics in the language of intuitionistic logic that are defined semantically by using Kripke models, in the same way as intuitionistic logic is defined, but without requiring of the models some of the properties required in the intuitionistic case. Also in relation with the study of subintuitionistic logics, Celani and Jansana get these algebras as the elements of a subvariety of that of weak Heyting algebras. Here, we study both the implicative and the implicative-infimum subreducts of subresiduated lattices. Besides, we propose a calculus whose algebraic semantics is given by these classes of algebras. Several expansions of this calculi are also studied together to some interesting properties of them. △ Less

Submitted 5 November, 2022; originally announced November 2022.

On the free frontal implicative semilattice extension of a frontal Hilbert algebra

Authors: Ramon Jansana, Hernan Javier San Martin

Abstract: 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 semilattices to that of frontal Hilbert algebras. 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 semilattices to that of frontal Hilbert algebras. △ Less

Submitted 8 November, 2018; originally announced November 2018.

Prelinear Hilbert algebras

Authors: Jose Luis Castiglioni, Sergio A. Celani, Hernan J. San Martin

Abstract: In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of Gödel algebras (i.e., prelinear Heyting algebras) to the algebraic category of bounded prelinear Hilbert algebras. We apply this result in order to study possible descriptions of the coproduct of two finite algebras in the algebraic category of prelinear Hilbert algebras. In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of Gödel algebras (i.e., prelinear Heyting algebras) to the algebraic category of bounded prelinear Hilbert algebras. We apply this result in order to study possible descriptions of the coproduct of two finite algebras in the algebraic category of prelinear Hilbert algebras. △ Less

Submitted 6 September, 2018; originally announced September 2018.

Variations of the free implicative semilattice extension of a Hilbert algebra

Authors: José L. Castiglioni, Hernán J. San Martín

Abstract: In [{\it On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207], Celani and Jansana give an explicit description of the free implicative semilattice extension of a Hilbert algebra. In this paper we give an alternative path conducing to this construction. Furthermore, following our procedure, we show that an adjunction can be obtain… ▽ More In [{\it On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207], Celani and Jansana give an explicit description of the free implicative semilattice extension of a Hilbert algebra. In this paper we give an alternative path conducing to this construction. Furthermore, following our procedure, we show that an adjunction can be obtained between the algebraic categories of Hilbert algebras with supremum and that of generalized Heyting algebras. Finally, in last section we describe a functor from the algebraic category of Hilbert algebras to that of generalized Heyting algebras, of possible independent interest. △ Less

Submitted 5 July, 2018; originally announced July 2018.

Comments: arXiv admin note: substantial text overlap with arXiv:1705.03856

On principal congruences in distributive lattices with a commutative monoidal operation and an implication

Authors: Ramon Jansana, Hernan Javier San Martin

Abstract: 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 variety. We apply this description in order to study compatible functions. 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 variety. We apply this description in order to study compatible functions. △ Less

Submitted 18 April, 2018; originally announced April 2018.

On Kalman's functor for bounded hemi-implicative semilattices and hemi-implicative lattices

Authors: Ramon Jansana, Hernán Javier San Martín

Abstract: 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)$ of type $(2,2,0)$ such that $(H,\wedge)$ is a meet semilattice, $1$ is the greatest element with respect to the order, $a\rightarrow a = 1$ for ever… ▽ More 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)$ of type $(2,2,0)$ such that $(H,\wedge)$ is a meet semilattice, $1$ is the greatest element with respect to the order, $a\rightarrow a = 1$ for every $a\in H$ and for every $a$, $b$, $c\in H$, if $a\leq b\rightarrow c$ then $a\wedge b \leq c$. A bounded hemi-implicative semilattice is an algebra $(H,\wedge,\rightarrow,0,1)$ of type $(2,2,0,0)$ such that $(H,\wedge,\rightarrow,1)$ is a hemi-implicative semilattice and $0$ is the first element with respect to the order. A hemi-implicative lattice is an algebra $(H,\wedge,\vee,\rightarrow,0,1)$ of type $(2,2,2,0,0)$ such that $(H,\wedge,\vee,0,1)$ is a bounded distributive lattice and the reduct algebra $(H,\wedge,\rightarrow,1)$ is a hemi-implicative semilattice. In this paper we introduce an equivalence for the categories of bounded hemi-implicative semilattices and hemi-implicative lattices, respectively, which is motivated by an old construction due J. Kalman that relates bounded distributive lattices and Kleene algebras. △ Less

Submitted 30 August, 2017; originally announced August 2017.

On the free Heyting algebra extension of a Hilbert algebra

Authors: J. L. Castiglioni, H. J. San Martín

Abstract: 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 Hilbert algebra of Celani and Jansana [On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--… ▽ More 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 Hilbert algebra of Celani and Jansana [On the free implicative semilattice extension of a Hilbert algebra}. Mathematical Logic Quarterly 58, 3 (2012), 188--207]. △ Less

Submitted 29 November, 2017; v1 submitted 10 May, 2017; originally announced May 2017.

Comments: Main result is not true. It only holds under extra hypothesis. A new corrected version will be upload soon

On a symmetrization of hemiimplicative semilattices

Authors: José Luis Castiglioni, Hernán Javier San Martín

Abstract: A hemiimplicative semilattice is a bounded semilattice $(A, \wedge, 1)$ endowed with a binary operation $\to$, satisfying that for every $a, b, c \in A$, $a \leq b \to c$ implies $a \wedge b \leq c$ (that is to say, one of the conditionals satisfied by the residuum of the infimum) and the equation $a \to a = 1$. The class of hemiimplicative semilattices form a variety. These structures provide a g… ▽ More A hemiimplicative semilattice is a bounded semilattice $(A, \wedge, 1)$ endowed with a binary operation $\to$, satisfying that for every $a, b, c \in A$, $a \leq b \to c$ implies $a \wedge b \leq c$ (that is to say, one of the conditionals satisfied by the residuum of the infimum) and the equation $a \to a = 1$. The class of hemiimplicative semilattices form a variety. These structures provide a general framework for the study of different structures of interest in algebraic logic. In any hemiimplicative semilattice it is possible to define a derived operation by $a \sim b := (a \to b) \wedge (b \to a)$. Endowing $(A, \wedge, 1)$ with the binary operation $\sim$ results again a hemiimplicative semilattice, which also satisfies the identity $a \sim b = b \sim a$. We call the elements of the subvariety of hemiimplicative semilattices satisfying $a \to b = b \to a$, a symmetric hemiimplicative semilattice. In this article, we study the correspondence assigning the symmetric hemiimplicative semilattice $(A, \wedge, \sim , 1)$ to the hemiimplicative semilattice $(A, \wedge, \to, 1)$. In particular, we characterize the image of this correspondence. We also provide many new examples of hemiimplicative semilattice structures on any bounded semillatice (possibly with bottom). Finally, we characterize congruences on the clases of hemiimplicative semilattices introduced as examples and we describe the principal congruences of hemiimplicative semilattices. △ Less

Submitted 29 November, 2016; originally announced November 2016.

Comments: 15 pages