Triangle algebras: A formal logic approach to interval-valued residuated lattices

Authors:
B. Van Gasse;C. Cornelis;G. Deschrijver;E. E. Kerre
Affiliations:
Fuzziness and Uncertainty Modelling Research Unit, Department of Applied Mathematics and Computer Science, Ghent University, Krijgslaan 281 (S9), 9000 Gent, Belgium;Fuzziness and Uncertainty Modelling Research Unit, Department of Applied Mathematics and Computer Science, Ghent University, Krijgslaan 281 (S9), 9000 Gent, Belgium;Fuzziness and Uncertainty Modelling Research Unit, Department of Applied Mathematics and Computer Science, Ghent University, Krijgslaan 281 (S9), 9000 Gent, Belgium;Fuzziness and Uncertainty Modelling Research Unit, Department of Applied Mathematics and Computer Science, Ghent University, Krijgslaan 281 (S9), 9000 Gent, Belgium
Venue:
Fuzzy Sets and Systems
Year:
2008

Citing 5
Cited 14

Can we enforce full compositionality in uncertainty calculi?

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
On the hierarchy of t-norm based residuated fuzzy logics

Beyond two
Fuzzy logics as the logics of chains

Fuzzy Sets and Systems
Advances and challenges in interval-valued fuzzy logic

Fuzzy Sets and Systems
On the representation of intuitionistic fuzzy t-norms and t-conorms

IEEE Transactions on Fuzzy Systems

On v-filters and normal v-filters of a residuated lattice with a weak vt-operator

Information Sciences: an International Journal
A characterization of interval-valued residuated lattices

International Journal of Approximate Reasoning
Infinitely ∨-distributive t-norms on complete lattices and pseudo-complements

Fuzzy Sets and Systems
The pseudo-linear semantics of interval-valued fuzzy logics

Information Sciences: an International Journal
A Survey on the Algebras of the So---Called Intuitionistic Fuzzy Sets (IFS)

WILF '09 Proceedings of the 8th International Workshop on Fuzzy Logic and Applications
Topological Residuated Lattice: A Unifying Algebra Representation of Some Rough Set Models

RSKT '09 Proceedings of the 4th International Conference on Rough Sets and Knowledge Technology
Interval-Valued Fuzzy Formal Concept Analysis

ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
On interval fuzzy residuated implications and interval quasi-implications

FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 7
Interval-Valued Fuzzy Galois Connections: Algebraic Requirements and Concept Lattice Construction

Fundamenta Informaticae - Methodologies for Intelligent Systems
Filters of residuated lattices and triangle algebras

Information Sciences: an International Journal
Rough implication operator based on strong topological rough algebras

Information Sciences: an International Journal
The standard completeness of interval-valued monoidal t-norm based logic

Information Sciences: an International Journal
Gradualness, uncertainty and bipolarity: Making sense of fuzzy sets

Fuzzy Sets and Systems
Residual implications on the set of discrete fuzzy numbers

Information Sciences: an International Journal

Quantified Score

Hi-index	0.20

Visualization

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.