Semi-Heyting Algebras and Identities of Associative Type

An algebra A = ⟨A, ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨A, ∨, ∧, 0, 1⟩ is a bounded lattice, and it satisfies the identities: x ∧ (x → y) ≈ x ∧ y, x ∧ (y → z) ≈ x ∧ [(x ∧ y) → (x ∧ z)], and x → x ≈ 1. SH denotes the variety of semi-Heyting algebras. Semi-Heyting algebras were introduced by the second author as an abstraction from Heyting algebras. They share several important properties with Heyting algebras. An identity of associative type of length 3 is a groupoid identity, both sides of which contain the same three (distinct) variables that occur in any order and that are grouped in one of the two (obvious) ways. A subvariety of SH is of associative type of length 3 if it is defined by a single identity of associative type of length 3. In this paper we describe all the distinct subvarieties of the variety SH of asociative type of length 3. Our main result shows that there are 3 such subvarities of SH.Consejo Nacional de Investigaciones Cientificas y TecnicasUniversidad Nacional del Su

Gentzen-Style Sequent Calculus for Semi-intuitionistic Logic

The variety SH of semi-Heyting algebras was introduced by H. P. Sankappanavar (in: Proceedings of the 9th “Dr. Antonio A. R. Monteiro” Congress, Universidad Nacional del Sur, Bahía Blanca, 2008) [13] as an abstraction of the variety of Heyting algebras. Semi-Heyting algebras are the algebraic models for a logic HsH, known as semi-intuitionistic logic, which is equivalent to the one defined by a Hilbert style calculus in Cornejo (Studia Logica 98(1–2):9–25, 2011) [6]. In this article we introduce a Gentzen style sequent calculus GsH for the semi-intuitionistic logic whose associated logic GsH is the same as HsH. The advantage of this presentation of the logic is that we can prove a cut-elimination theorem for GsH that allows us to prove the decidability of the logic. As a direct consequence, we also obtain the decidability of the equational theory of semi-Heyting algebras.Fil: Castaño, Diego Nicolás. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Matemática; ArgentinaFil: Cornejo, Juan Manuel. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Bahía Blanca. Instituto de Matemática Bahía Blanca. Universidad Nacional del Sur. Departamento de Matemática. Instituto de Matemática Bahía Blanca; Argentina. Universidad Nacional del Sur. Departamento de Matemática; Argentin