Formal aspects of correctness and optimality of interval computations
From MaRDI portal
Publication:2432236
DOI10.1007/s00165-006-0089-xzbMath1104.65045MaRDI QIDQ2432236
Benedito Melo Acióly, Regivan H. N. Santiago, Benjamín René Callejas Bedregal
Publication date: 25 October 2006
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-006-0089-x
65G30: Interval and finite arithmetic
Related Items
On some classes of nullnorms and \(h\)-pseudo homogeneity, Lattice-valued overlap and quasi-overlap functions, Canonical representation of the Yager's classes of fuzzy implications, Some continuity notions for interval functions and representation, Interval metrics, topology and continuous functions, Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions, Interval additive generators of interval t-norms and interval t-conorms, Robustness of interval-valued fuzzy inference, Aggregation functions for typical hesitant fuzzy elements and the action of automorphisms, \(K\)-operators: an approach to the generation of interval-valued fuzzy implications from fuzzy implications and vice versa, The best interval representations of t-norms and automorphisms, On interval fuzzy negations, A generalized distance based on a generalized triangle inequality, Subsethood measures for interval-valued fuzzy sets based on the aggregation of interval fuzzy implications, Generalized interval-valued OWA operators with interval weights derived from interval-valued overlap functions, On interval \((\mathbb{G}, \mathbb{N})\)-implications and \((\mathbb{O}, \mathbb{G}, \mathbb{N})\)-implications derived from interval overlap and grouping functions, The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication, Natural negation of interval-valued \(t\)-(co) norms and implications, On admissible orders over closed subintervals of \([0, 1\)], Residuated implications derived from quasi-overlap functions on lattices, On interval fuzzy S-implications, An interval extension of homogeneous and pseudo-homogeneous t-norms and t-conorms, On interval additive generators of interval overlap functions and interval grouping functions, Implementing Local Intervals in CASL, Atanassov’s Intuitionistic Contractive Fuzzy Negations, Interval Additive Generators of Interval T-Norms
Uses Software