Results 41 to 50 of about 378,509 (227)
A Linguistic-Valued Weighted Aggregation Operator to Multiple Attribute Group Decision Making with Quantative and Qualitative Information [PDF]
International Journal of Computational Intelligence Systems, 2008 In selecting an optional alternative in an environment of multiple attribute group decision making, different attributes of the alternative are often considered as with quantitative and qualitative information.
Xiaobing Li, Da Ruan, Jun Liu, Yang Xu
doaj +1 more source
, 2020 We prove that the Weihrauch lattice can be transformed into a Brouwer algebra by the consecutive application of two closure operators in the appropriate order: first completion and then parallelization. The closure operator of completion is a new closure
Brattka, Vasco, Gherardi, Guido
core +1 more source
, 2016 In a paper published in 2012, the second author extended the well-known fact that Boolean algebras can be defined using only implication and a constant, to De Morgan algebras-this result led him to introduce, and investigate (in the same paper), the ...
Cornejo, Juan M. +1 more
core +2 more sources
Choice-free Topological Duality for Implicative Lattices and Heyting Algebras [PDF]
Algebra Universalis, 2023, 2023 We develop a common semantic framework for the interpretation both of $\mathbf{IPC}$, the intuitionistic propositional calculus, and of logics weaker than $\mathbf{IPC}$ (substructural and subintuitionistic logics). This is done by proving a choice-free representation and duality theorem for implicative lattices, which may or may not be distributive ...
arxiv +1 more source
Topological representation for monadic implication algebras [PDF]
, 2009 In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra.
Abad, Manuel +2 more
core +1 more source
Interval-valued algebras and fuzzy logics [PDF]
, 2010 In this chapter, we present a propositional calculus for several interval-valued fuzzy logics, i.e., logics having intervals as truth values. More precisely, the truth values are preferably subintervals of the unit interval.
Cornelis, Chris +2 more
core +2 more sources
On Fuzzy Ideals of BL-Algebras
The Scientific World Journal, 2014 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
Representation of Cubic Lattices by Symmetric Implication Algebras
Order, 2006 Fil: Abad, Manuel. Consejo Nacional de Investigaciones Cientificas y Tecnicas; Argentina. Universidad Nacional del Sur.
Abad, Manuel +1 more
openaire +3 more sources
Implication functions in interval-valued fuzzy set theory [PDF]
, 2013 Interval-valued fuzzy set theory is an extension of fuzzy set theory in which the real, but unknown, membership degree is approximated by a closed interval of possible membership degrees.
Deschrijver, Glad
core +1 more source
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras [PDF]
Logical Methods in Computer ScienceA distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an idempotent semiring.
Natanael Alpay +2 more
doaj +1 more source