Results 171 to 180 of about 587 (209)

Orthomodular lattices as implication algebras

Journal of Philosophical Logic, 1974
Recent progress has been made in the study of implication connectives on orthomodular lattices (see [6] and [7]). Some of this research has been motivated by the delicate question of the appropriate form of the conditional sentence in a quantum logic.
openaire   +1 more source

Material implications in lattice effect algebras

Information Sciences, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Borzooei, R. A., Dvurečenskij, A., Sharafi, A. H.   +2 more
openaire   +1 more source

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 ...
Hua Zhu, Jianbin Zhao, Wenjing Chang, Yang Xu   +3 more
openaire   +1 more source

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.
XIAODONG PAN, YANG XU, JUAN LIU
openaire   +1 more source

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   +1 more source

The Equivalent Definitions of Lattice Implication Algebra

2008 International Seminar on Future Information Technology and Management Engineering, 2008
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.
Li-Xia Song, Kun-Lun Zhang
openaire   +1 more source

On A-subsets in lattice implication algebras

Journal of Intelligent & Fuzzy Systems, 2018
In this paper, we further study the theory of A-subsets in lattice implication algebras. To begin with, we introduce the propositions of homomorphism image and original image of A-subsets in lattice implication algebras. In addition, the notion of A*-subsets is introduced and some properties of A*-subsets are also investigated in lattice ...
Long, Xiqing, Liu, Yi, Xu, Yang
openaire   +1 more source

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   +1 more source

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 ...
null Hai-Ming Li, null Jian-Ming Gong, null Zheng Pei, null Xiao-Ping Qiu   +3 more
openaire   +1 more source

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, J. B. Nation
openaire   +1 more source