Search Sciweavers | Sciweavers

952 search results - page 12 / 191

» Substructural fuzzy logics

click to vote

EUSFLAT
2009

136views Fuzzy Logic» more EUSFLAT 2009»

On Vertices of the k-Additive Monotone Core

13 years 5 months ago

Download www.eusflat.org

Pedro Miranda, Michel Grabisch

claim paper

Read More »

click to vote

IGPL
2011

252views Information Technology» more IGPL 2011»

On representable ordered residuated semigroups

13 years 2 months ago

Download www.dcs.bbk.ac.uk

We show that the equational theory of representable lattice-ordered residuated semigroups is not ﬁnitely axiomatizable. We apply this result to the problem of completeness of su...

Szabolcs Mikulás

claim paper

Read More »

click to vote

ECSQARU
2009
Springer

124views Automated Reasoning» more ECSQARU 2009»

Soft Constraints Processing over Divisible Residuated Lattices

13 years 5 months ago

Download www.math.vanderbilt.edu

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 semanti...

Simone Bova

claim paper

Read More »

click to vote

ICFP
2010
ACM

143views Programming Languages» more ICFP 2010»

Higher-order representation of substructural logics

13 years 8 months ago

Download www.cs.cmu.edu

We present a technique for higher-order representation of substructural logics such as linear or modal logic. We show that such logics can be encoded in the (ordinary) Logical Fra...

Karl Crary

claim paper

Read More »

click to vote

EUSFLAT
2009

138views Fuzzy Logic» more EUSFLAT 2009»

Choquet Integral Based Evaluations by Fuzzy Rules

13 years 5 months ago

Download www.eusflat.org

Abstract-- Choquet-integral-based evaluation models are proposed. The evaluation parameters

Eiichiro Takahagi

claim paper