DocumentCode
2334301
Title
The Equivalent Definitions of Lattice Implication Algebra
Author
Song Li-Xia ; Zhang Kun-Lun
Author_Institution
Dept. of Math., North China Inst. of Sci. & Technol., Beijing
fYear
2008
fDate
20-20 Nov. 2008
Firstpage
656
Lastpage
658
Abstract
This paper proved that when we have a binary operation rightarrow and a nullary operations rarr on a non-empty set L, if these operations satisfy the four axioms of lattice implication algebra, then (L, rarr, 0) will be a lattice implication algebra. So, when we define lattice implication algebra, we needn´t start on a complemented lattice with universal bounds, but we can begin with an algebra of type (2,0).
Keywords
algebra; binary operation; lattice implication algebra; miliary operations; Algebra; Engineering management; Information management; Information technology; Lattices; Logic functions; Mathematics; Seminars; Technology management; axioms; lattice; lattice implication algebra;
fLanguage
English
Publisher
ieee
Conference_Titel
Future Information Technology and Management Engineering, 2008. FITME '08. International Seminar on
Conference_Location
Leicestershire, United Kingdom
Print_ISBN
978-0-7695-3480-0
Type
conf
DOI
10.1109/FITME.2008.90
Filename
4746579
Link To Document