PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
2019 | 48 | 2 |
Tytuł artykułu

Semi-Heyting Algebras and Identities of Associative Type

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
EN
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. 𝒮ℋ 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 𝒮ℋ 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 𝒮ℋ of asociative type of length 3.  Our main result shows that there are 3 such subvarities of 𝒮ℋ.
Rocznik
Tom
48
Numer
2
Opis fizyczny
Daty
wydano
2019-06-30
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.ojs-doi-10_18778_0138-0680_48_2_03
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.