TY - JOUR AU - Cornejo, Juan M. AU - Sankappanavar, Hanamantagouda P. PY - 2019/06/30 Y2 - 2024/03/29 TI - Semi-Heyting Algebras and Identities of Associative Type JF - Bulletin of the Section of Logic JA - B Sect Log VL - 48 IS - 2 SE - Research Article DO - 10.18778/0138-0680.48.2.03 UR - https://czasopisma.uni.lodz.pl/bulletin/article/view/5436 SP - 117–135 AB - <p>An algebra <strong>A</strong> =&nbsp;⟨<em style="font-size: 14px;">A,</em><span style="font-size: 14px;"> ∨, ∧, →, 0, 1⟩ is a semi-Heyting algebra if ⟨<em>A,</em> ∨, ∧, 0, 1⟩ is a bounded lattice, and it satisfies the identities: <em>x</em> ∧ (<em>x</em>&nbsp;→ <em>y</em>)&nbsp;≈ <em>x</em> ∧ <em>y</em>, <em>x</em> ∧ (<em>y</em>&nbsp;→ <em>z</em>)&nbsp;≈ <em>x</em> ∧ [(<em>x</em> ∧ <em>y</em>) → (<em>x</em> ∧ <em>z</em>)], and <em>x</em>&nbsp;→ <em>x</em> ≈ 1. ER -