Formal aspects of correctness and optimality of interval computations

DOI10.1007/s00165-006-0089-xzbMath1104.65045OpenAlexW2050251549MaRDI 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

zbMATH Keywords

continuityinterval analysiscorrectnessoptimalityinterval representations

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30)

Related Items (26)

Atanassov’s Intuitionistic Contractive Fuzzy Negations ⋮ On interval additive generators of interval overlap functions and interval grouping functions ⋮ The best interval representations of t-norms and automorphisms ⋮ A generalized distance based on a generalized triangle inequality ⋮ Subsethood measures for interval-valued fuzzy sets based on the aggregation of interval fuzzy implications ⋮ Canonical representation of the Yager's classes of fuzzy implications ⋮ Some continuity notions for interval functions and representation ⋮ Interval metrics, topology and continuous functions ⋮ Generalized interval-valued OWA operators with interval weights derived from interval-valued overlap functions ⋮ Interval-valued fuzzy coimplications and related dual interval-valued conjugate functions ⋮ On some classes of nullnorms and \(h\)-pseudo homogeneity ⋮ Lattice-valued overlap and quasi-overlap functions ⋮ Interval Additive Generators of Interval T-Norms ⋮ 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 ⋮ Residuated implications derived from quasi-overlap functions on lattices ⋮ On interval fuzzy S-implications ⋮ On interval \((\mathbb{G}, \mathbb{N})\)-implications and \((\mathbb{O}, \mathbb{G}, \mathbb{N})\)-implications derived from interval overlap and grouping functions ⋮ An interval extension of homogeneous and pseudo-homogeneous t-norms and t-conorms ⋮ On interval fuzzy negations ⋮ The quintuple implication principle of fuzzy reasoning based on interval-valued S-implication ⋮ On admissible orders over closed subintervals of \([0, 1\)] ⋮ Natural negation of interval-valued \(t\)-(co) norms and implications ⋮ Implementing Local Intervals in CASL

Uses Software

• INTOPT_90

This page was built for publication: Formal aspects of correctness and optimality of interval computations