Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
607
AN ABSTRACTION FROM HEYTING ALGEBRAS
"... ABSTRACT. The purpose of this paper is to define and investigate a new (equational) class of algebras called “Semi-Heyting Algebras ” as an abstraction from Heyting algebras. We show that semi-Heyting algebras are distributive pseudocomplemented lattices, the congru-ences on these algebras are deter ..."
Abstract
- Add to MetaCart
-element algebras— which turn out to be primal, 10 three-element algebras and 160 four-element algebras. Also, equational bases for the 2-element and 3-element semi-Heyting algebras, as well as several new axiom systems for Heyting algebras, are given. Some important subvarieties of SH are defined. We also present
Universidad de Zaragoza Groups with Chernikov Classes of Conjugate Subgroups ∗
"... “garcia de galdeano” garcía de galdeano seminario matemáticon. 21 PRE-PUBLICACIONES del seminario matematico 2003 ..."
Abstract
- Add to MetaCart
“garcia de galdeano” garcía de galdeano seminario matemáticon. 21 PRE-PUBLICACIONES del seminario matematico 2003
REPORTS ON MATHEMATICAL LOGIC
"... A b s t r a c t. In this paper, the structure of nitely generated free objects in the variety of three-valued closure Lukasiewicz algebras is determined. We describe their indecomposable factors and we give their cardinality..1 Introduction and Preliminaries A Lukasiewicz algebra of order n, or an n ..."
Abstract
- Add to MetaCart
A b s t r a c t. In this paper, the structure of nitely generated free objects in the variety of three-valued closure Lukasiewicz algebras is determined. We describe their indecomposable factors and we give their cardinality..1 Introduction and Preliminaries A Lukasiewicz algebra of order n
Results 1 - 10
of
607
