Results 191 to 200 of about 378,509 (227)

THE RELATIONS BETWEEN LATTICE IMPLICATION ALGEBRAS AND BROUWERIAN LATTICE

Applied Computational Intelligence, 2004
Non-classical logic has become a considerable formal tool for computer science and artificial intelligence to deal with fuzzy information and uncertain information. Many-valued logic, a great extension and development of classical logic [l], has always been a crucial direction in non-classical logic.
Yang Xu, Juan Liu, Xiaodong Pan
openaire   +2 more sources

Characterization theorem of lattice implication algebras

Proceedings. 34th International Symposium on Multiple-Valued Logic, 2004
In this paper, we show the characterization theorem of lattice implication algebras. The algebras were presented by Xu (J. Southwest Jiaotong Univ., p.20-27) in 1993. Our theorem means that the class of all lattice implication algebras coincides with the class of all bounded commutative BCK-algebras. Hence lattice implication algebras are categorically
openaire   +2 more sources

Lattices of Algebraic Subsets and Implicational Classes

2016
In this section we consider one of the central constructions producing joinsemidistributive lattices, which turned out to be crucial in connecting many aspects of these lattices. The goal of this section is to present Sp(PowX), the lattice of algebraic subsets of the powerset lattice of some set X. We will need several definitions and lemmas on the way.
K. Adaricheva, James B. Nation
openaire   +2 more sources

2-Dimension Linguistic Lattice Implication Algebra

2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE), 2015
This paper concerns the representation of the linguistic evaluation set, which is often a total order set for its simple structure and operations. However, in some uncertain situations, the linguistic evaluation set with total order set is not enough for providing the assessments of the decision maker because all the linguistic labels are comparable ...
Yang Xu, Jianbin Zhao, Hua Zhu, Wenjing Chang   +3 more
openaire   +2 more sources

Intuitionistic fuzzy filter of lattice implication algebras

2005 International Conference on Machine Learning and Cybernetics, 2005
In the paper, the concept of intuitionistic fuzzy filter in lattice implication algebras is introduced, and its properties are discussed. The relation between intuitionistic fuzzy filter and intuitionistic fuzzy lattice filter is shown, the equivalent conditions of intuitionistic fuzzy filter are obtained, these lay a theory foundation for more ...
Xiao-Ping Qiu, Hai-Ming Li, Jian-Ming Gong, Zheng Pei   +3 more
openaire   +2 more sources

Generalized Fuzzy Filters of Lattice Implication Algebras

2009 Sixth International Conference on Fuzzy Systems and Knowledge Discovery, 2009
In this paper, we considered the characterization of$(\overline{\in},\overline{\in} \vee \overline{q})$-fuzzy filters of lattice implication algebras. In particular, we described the relationships among ordinary fuzzy filters, $(\in,\in \veeq)$-fuzzy filters and $(\overline{\in},\overline{\in} \vee\overline{q})$-fuzzy filters of lattice implication ...
Jianming Zhan, Yang Xu
openaire   +2 more sources

Lack of associative filters in lattice implication algebras

Soft Computing, 2011
Jun et al. (Bull Korean Math Soc 35(1):53–61, 1998) introduced the notion of associative filters in lattice implication algebra and studied some of its properties. In this paper, we show that there is no associative filter in lattice implication algebra.
Mahboobeh Mohamadhasani, Masoud Haveshki
openaire   +2 more sources

On A-subsets in lattice implication algebras

Journal of Intelligent & Fuzzy Systems, 2018
Xiqing Long, Yang Xu, Yi Liu
openaire   +2 more sources

Equationally definable implication algebras for orthomodular lattices

Studia Logica, 1980
The fact that it is possible to define three different material conditionals in orthomodular lattices suggests that there exist three different orthomodular logics whose conditionals are material conditionals and whose models are orthomodular lattices. The purpose of this paper is to provide equationally definable implication algebras for each of these
openaire   +2 more sources

On Extension of LI-Ideal in Lattice Implication Algebra

2007
Lattice implication algebra is a logical algebraic system which is constructed by combining lattice with implication algebra. In this paper, we focus on the extension of LI-ideal of lattice implication algebras, i.e., weak LI-ideals (briefly, WLI-ideals) and maximal weak LI-ideals.
Jun Ma, Lai Jiajun, Xu Yang
openaire   +2 more sources