Results 171 to 180 of about 923,849 (196)

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

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

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 0001, Yang Xu 0001
openaire   +1 more source

Notes on redefined fuzzy implicative filters of lattice implication algebras

Information Sciences, 2009
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Jianming Zhan 0001, Young Bae Jun
openaire   +2 more sources

FOLDING THEORY OF IMPLICATIVE/FANTASTIC FILTERS IN LATTICE IMPLICATION ALGEBRAS

Communications of the Korean Mathematical Society, 2004
Summary: We discuss the \(n\)-fold implicative/fantastic filters in lattice implication algebras, which are extended notions of implicative/fantastic filters. Characterizations of \(n\)-fold implicative/fantas-tic filters are given. Conditions for a filter to be \(n\)-fold implicative are provided.
Jun, Young Bae, Song, Seok Zun
openaire   +1 more source

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.
Jiajun Lai, Xu Yang, Jun Ma
openaire   +2 more sources

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

On generalized derivations of lattice implication algebras

2019
Summary: In this paper, we introduce the notion of generalized derivation of lattice implication algebra and investigated some related properties. Also, we prove that if \(D\) is a generalized derivation associated with a derivationd of \(L\), then \(D(x\to y)=x\to D(y)\) for all \(x,y\in L\)
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

( ∈ , ∈ vq)-Fuzzy Filters of Lattice Implication Algebras

2011
By using the concept of belongingness and quasi-coincidence of a fuzzy point with a fuzzy set, the notions of ( ∈ , ∈ vq)-fuzzy filters, which is generalization of ordinary fuzzy filter in lattice implication algebras, is defined, and their related properties and equivalent description are given.
openaire   +2 more sources