A definition of lattice implication algebra based on implication operator

DOI

10.2991/iske.2007.243How to use a DOI?

Keywords

Lattice implication algebra; Binary operation; partial set

Abstract

Lattice implication algebra is an important nonclassical logical algebra, it has been studied by researchers. Binary operation ^, _ and unitary operation 0 in lattice implication algebra could be defined by implication operation!, namely, these operations in lattice implication algebra are not independently. In this paper, firstly, we use implication operation to define binary operation ^, _ and unitary operation 0, then, partial set and lattice could be constructed. Finally, another definition of lattice implication algebra is discussed

Copyright

© 2007, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Liangzhong Yi
AU  - Zheng Pei
PY  - 2007/10
DA  - 2007/10
TI  - A definition of lattice implication algebra based on implication operator
BT  - Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007)
PB  - Atlantis Press
SP  - 1428
EP  - 1433
SN  - 1951-6851
UR  - https://doi.org/10.2991/iske.2007.243
DO  - 10.2991/iske.2007.243
ID  - Yi2007/10
ER  -