Results 31 to 40 of about 868 (182)
Folding Theory of Implicative and Obstinate Ideals in Bl-Algebras
In this paper, the concepts of n-fold implicative ideals and n-fold obstinate ideals in BL-algebras are introduced. With respect to this concepts, some related results are given. In particular, it is proved that an ideal is an n-fold implicative ideal if
Paad Akbar
doaj +1 more source
The Structure of the Block Code Generated by a BL-Algebra
Inspired by the concept of BL-algebra as an important part of the ordered algebra, in this paper we investigate the binary block code generated by an arbitrary BL-algebra and study related properties.
Hashem Bordbar
doaj +1 more source
The notion of a BL-algebra was defined and studied by \textit{P. Hájek} [Metamathematics of fuzzy logic. Kluwer, Dordrecht (1998; Zbl 0937.03030)]. A BL-algebra is an algebraic structure \(\mathcal A=(A;\wedge, \vee,\odot, \rightarrow, 0,1)\) of type \((2,2,2,2,0,0)\) satisfying certain axioms; from these it follows that \((A;\wedge,\vee, 0,1)\) is a ...
DI NOLA, Antonio, A. LETTIERI
openaire +3 more sources
The concept of a state MV-algebra was firstly introduced by Flaminio and Montagna in \cite{FlMo0} and \cite{FlMo} as an MV-algebra with internal state as a unary operation. Di Nola and Dvure enskij gave a stronger version of a state MV-algebra in \cite{DiDV1}, \cite{DiDV2}.
Ciungu, Lavinia Corina +2 more
openaire +3 more sources
Pseudo General Overlap Functions and Weak Inflationary Pseudo BL-Algebras
General overlap functions are generalized on the basis of overlap functions, which have better application effects in classification problems, and the (weak) inflationary BL-algebras as the related algebraic structure were also studied.
Rong Liang, Xiaohong Zhang
doaj +1 more source
In this paper, we introduce the notion of a bi-BL-algebra, bi-filter, bideductive system and bi-Boolean elements of a bi-BL-algebra and deal with bi-filters in bi-BL-algebra. We study this structure and construct the quotient of bi-BL-algebra. Also present a classification for examples of proper bi-BL-algebras.
Mahdeieh Abbasloo, Arsham Saeid
openaire +1 more source
Further Complete Solutions to Four Open Problems on Filter of Logical Algebras
This paper focuses on the investigation of filters of pseudo BCK-algebra and BL-algebra, important and popular generic commutative and non-commutative logical algebras.
Wei Wang, Pengxi Yang, Yang Xu
doaj +1 more source
We put forth the concept of hyper BL-algebras which is a generalization of BL-algebras. We give some non-trivial examples and properties of hyper BL-algebras. Moreover, we introduce weak filters and weak deductive systems of hyper BL-algebras and study the relationships between them.
Xin, Xiao Long +2 more
openaire +2 more sources
On Fuzzy Ideals of BL-Algebras
In this paper we investigate further properties of fuzzy ideals of a BL-algebra. The notions of fuzzy prime ideals, fuzzy irreducible ideals, and fuzzy Gödel ideals of a BL-algebra are introduced and their several properties are investigated.
Biao Long Meng, Xiao Long Xin
doaj +1 more source
Advances in the theory of μŁΠ algebras [PDF]
Recently an expansion of ŁΠ1/2 logic with fixed points has been considered [23]. In the present work we study the algebraic semantics of this logic, namely μŁΠ algebras, from algebraic, model theoretic and computational standpoints.
Marchioni, Enrico, Spada, Luca
core +1 more source

