Przeglądaj Bulletin of the Section of Logic według tematu "06D20"
Wyświetlanie pozycji 1-2 z 2
-
Grzegorczyk Algebras Revisited
(Wydawnictwo Uniwersytetu Łódzkiego, 2018)We provide simple algebraic proofs of two important facts, due to Zakharyaschev and Esakia, about Grzegorczyk algebras. -
Semi-Heyting Algebras and Identities of Associative Type
(Wydawnictwo Uniwersytetu Łódzkiego, 2019)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 ...