Matches in UGent Biblio for { <https://biblio.ugent.be/publication/397598#aggregation> ?p ?o. }
Showing items 1 to 32 of
32
with 100 items per page.
- aggregation classification "A1".
- aggregation creator person.
- aggregation creator person.
- aggregation creator person.
- aggregation creator person.
- aggregation date "2008".
- aggregation hasFormat 397598.bibtex.
- aggregation hasFormat 397598.csv.
- aggregation hasFormat 397598.dc.
- aggregation hasFormat 397598.didl.
- aggregation hasFormat 397598.doc.
- aggregation hasFormat 397598.json.
- aggregation hasFormat 397598.mets.
- aggregation hasFormat 397598.mods.
- aggregation hasFormat 397598.rdf.
- aggregation hasFormat 397598.ris.
- aggregation hasFormat 397598.txt.
- aggregation hasFormat 397598.xls.
- aggregation hasFormat 397598.yaml.
- aggregation isPartOf urn:issn:0165-0114.
- aggregation language "eng".
- aggregation subject "Science General".
- aggregation title "Triangle algebras: a formal logic approach to interval-valued residuated lattices".
- aggregation abstract "In this paper, we introduce triangle algebras: a variety of residuated lattices equipped with approximation operators, and with a third angular point u, different from 0 and 1. We show that these algebras serve as an equational representation of interval-valued residuated lattices (IVRLs). Furthermore, we present triangle logic (TL), a system of many-valued logic capturing the tautologies of IVRLs. Triangle algebras are used to cast the essence of using closed intervals of L as truth values into a set of appropriate logical axioms. Our results constitute a crucial first step towards solving an important research challenge: the axiomatic formalization of residuated t-norm based logics on L^I, the lattice of closed intervals of [0,1], in a similar way as was done for formal fuzzy logics on the unit interval.".
- aggregation authorList BK485275.
- aggregation endPage "1060".
- aggregation issue "9".
- aggregation startPage "1042".
- aggregation volume "159".
- aggregation isDescribedBy 397598.
- aggregation similarTo j.fss.2007.09.003.
- aggregation similarTo LU-397598.