Results 21 to 30 of about 70 (59)
Classes of Int‐Soft Filters in Residuated Lattices
The Scientific World Journal, Volume 2014, Issue 1, 2014., 2014 The notions of int‐soft filters, int‐soft G‐filters, regular int‐soft filters, and MV‐int‐soft filters in residuated lattices are introduced, and their relations, properties, and characterizations are investigated. Conditions for an int‐soft filter to be an int‐soft G‐filter, a regular int‐soft filter, or an MV‐int‐soft filter are provided.
Young Bae Jun +3 more
wiley +1 more source
An Investigation on Algebraic Structure of Soft Sets and Soft Filters over Residuated Lattices
International Scholarly Research Notices, Volume 2014, Issue 1, 2014., 2014 We introduce the notion of soft filters in residuated lattices and investigate their basic properties. We investigate relations between soft residuated lattices and soft filter residuated lattices. The restricted and extended intersection (union), ∨ and ∧‐intersection, cartesian product, and restricted and extended difference of the family of soft ...
S. Rasouli +4 more
wiley +1 more source
Optimised ExpTime Tableaux for 𝒮ℋℐ𝒩 over Finite Residuated Lattices
Journal of Applied Mathematics, Volume 2014, Issue 1, 2014., 2014 This study proposes to adopt a novel tableau reasoning algorithm for the description logic 𝒮ℋℐ𝒩 with semantics based on a finite residuated De Morgan lattice. The syntax, semantics, and logical properties of this logic are given, and a sound, complete, and terminating tableaux algorithm for deciding fuzzy ABox consistency and concept satisfiability ...
Jian Huang +3 more
wiley +1 more source
Hesitant Fuzzy Soft Subalgebras and Ideals in BCK/BCI‐Algebras
The Scientific World Journal, Volume 2014, Issue 1, 2014., 2014 As a link between classical soft sets and hesitant fuzzy sets, the notion of hesitant fuzzy soft sets is introduced and applied to a decision making problem in the papers by Babitha and John (2013) and Wang et al. (2014). The aim of this paper is to apply hesitant fuzzy soft set for dealing with several kinds of theories in BCK/BCI‐algebras.
Young Bae Jun +3 more
wiley +1 more source
Soft Constraints Processing over Divisible Residuated Lattices [PDF]
, 2009 We claim that divisible residuated lattices (DRLs) can act as a unifying evaluation framework for soft constraint satisfaction problems (soft CSPs). DRLs form the algebraic semantics of a large family of substructural and fuzzy logics [13,15], and are therefore natural candidates for this role.
openaire +1 more source
On Generalized Hoops, Homomorphic Images of Residuated Lattices, and (G)BL-Algebras
, 2016 Right-residuated binars and right-divisible residuated binars are defined as precursors of generalized hoops, followed by some results and open problems about these partially ordered algebras.
Jipsen, Peter
core +1 more source
Some Remarks Regarding MTL and Divisible Residuated Algebras
MathematicsDivisible residuated lattices and MTL algebras are algebraic structures connected with algebras in t-norm-based fuzzy logics, being examples of residuated lattices. They are an important topic in the study of fuzzy logic.
Cristina Flaut, Dana Piciu, Radu Vasile
doaj +1 more source
k-Hyperarc Consistency for Soft Constraints over Divisible Residuated Lattices
CoRR, 2008 15 ...
openaire +2 more sources
On BCK Algebras - Part I.a: An Attempt to Treat Unitarily the Algebras of Logic. New Algebras
, 2007 Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classify these dual presentations in "left" and "right" ones and we consider that,
Iorgulescu, Afrodita +1 more
core +1 more source
A Hennessy-Milner Property for Many-Valued Modal Logics [PDF]
, 2014 A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp ...
Marti, Michel +3 more
core