THE VARIETY OF SEMI-HEYTING ALGEBRAS SATISFYING THE EQUATION  Cover Image

THE VARIETY OF SEMI-HEYTING ALGEBRAS SATISFYING THE EQUATION
THE VARIETY OF SEMI-HEYTING ALGEBRAS SATISFYING THE EQUATION

Author(s): Manuel Abad, José Patricio Díaz Varela, Juan Manuel Cornejo
Subject(s): Philosophy
Published by: Wydawnictwo Uniwersytetu Jagiellońskiego

Summary/Abstract: In [4, Definition 8.1], some important subvarieties of the variety SH of semi-Heyting algebras are defined. The purpose of this paper is to introduce and investigate the subvariety ISSH of SH, characterized by the identity (0 ® 1)* Ú (0 ® 1)** » 1. We prove that ISSH contains all the subvarieties introduced by Sankappanavar and it is in fact the least subvariety of SH with this property. We also determine the sublattice generated by the subvarieties introduced in [4, Definition 8.1] within the lattice of subvarieties of semi-Heyting algebras.

  • Issue Year: 2011
  • Issue No: 46
  • Page Range: 75-90
  • Page Count: 15
  • Language: English