Results 21 to 30 of about 831 (158)
Boolean Products of BL-Algebras
Journal of Mathematical Analysis and Applications, 2000 BL algebras are the Lindenbaum algebras of Hájek's Basic Logic. As shown in \textit{P. Hájek}'s book [Metamathematics of fuzzy logic, Kluwer, Dordrecht, Trends in Logic, Studia Logica Library, Vol. 4 (1998; Zbl 0937.03030)], BL algebras generalize Chang's MV-algebras, symmetric Heyting algebras, and product algebras.
DI NOLA, Antonio +2 more
openaire +5 more sources
Gődel filters in residuated lattices
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2021 In this paper, in the spirit of [4], we study a new type of filters in residuated lattices : Gődel filters. So, we characterize the filters for which the quotient algebra that is constructed via these filters is a Gődel algebra and we establish the ...
Piciu Dana +2 more
doaj +1 more source
Pseudo General Overlap Functions and Weak Inflationary Pseudo BL-Algebras
Mathematics, 2022 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
Quantifier elimination and other model-theoretic properties of BL-algebras [PDF]
, 2016 This work presents a model-theoretic approach to the study of firstorder theories of classes of BL-chains. Among other facts, we present several classes of BL-algebras, generating the whole variety of BL-algebras whose firstorder theory has quantifier ...
Cortonesi, Tommaso +2 more
core +1 more source
Compact representations of BL-algebras
Archive for Mathematical Logic, 2002 In this paper we define sheaf spaces of BL-algebras (or BL-sheaf spaces), we study completely regular and compact BL-sheaf spaces and compact representations of BL-algebras and, finally, we prove that the category of non-trivial BL-algebras is equivalent with the category of compact local BL-sheaf spaces.
DI NOLA, Antonio, L. LEUSTEAN
openaire +4 more sources
CLOSURE OPERATORS ON BL-ALGEBRAS [PDF]
Communications of the Korean Mathematical Society, 2004 Summary: We study relationships between closure operators and BL-algebras. We investigate the properties of closure operators and BL-homomorphisms on BL-algebras. We show that the image of a closure operator on a BL-algebra is isomorphic to a quotient BL-algebra.
Ko, Jung Mi, Kim, Yong Chan
openaire +1 more source
Demonstratio Mathematica, 2010 AbstractThe class of bipartite pseudo-BL algebras (denoted ...
Andrzej Walendziak +1 more
openaire +1 more source
Discrete Mathematics, 2003 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
Properties of an anti vague filter in BL-algebras
Ratio Mathematica, 2021 In this paper, we introduce the notion of an anti vague filter of a BL-algebra with illustration, and obtain some related properties. Further, we investigate some equivalent conditions of anti vague filter.
Yahya Mohamed
doaj +1 more source
Soft Computing, 2010 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