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

DOI10.1016/j.fss.2007.09.003zbMath1174.03028OpenAlexW2103602076MaRDI QIDQ835104

Chris Cornelis, Etienne E. Kerre, Bart Van Gasse, Glad Deschrijver

Publication date: 28 August 2009

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2007.09.003

zbMATH Keywords

many-valued logicinterval-valued residuated latticestriangle algebrastriangle logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Logical aspects of lattices and related structures (03G10) Ordered semigroups and monoids (06F05) Many-valued logic (03B50)

Related Items

Infinitely \(\vee\)-distributive t-norms on complete lattices and pseudo-complements, \(L\)-fuzzy sets and isomorphic lattices: are all the ``new results really new?, The role of states in triangle algebras, Reasoning about ignorance and contradiction: many-valued logics versus epistemic logic, Interval-valued quintuple implication principle of fuzzy reasoning, Interval-valued fuzzy reasoning full implication algorithms based on the t-representable t-norm, Robustness of full implication algorithms based on interval-valued fuzzy inference, An overview of the fuzzy axiomatic systems and characterizations proposed at Ghent university, Robustness of reverse triple I algorithms based on interval-valued fuzzy inference, Gradualness, uncertainty and bipolarity: making sense of fuzzy sets, The standard completeness of interval-valued monoidal t-norm based logic, Interval MV-algebras and generalizations., Robustness of interval-valued universal triple I algorithms1, On maximal filters in triangle algebras, An investigation on the $n$-fold IVRL-filters in triangle algebras, On \(v\)-filters and normal \(v\)-filters of a residuated lattice with a weak \(vt\)-operator, Residual implications on the set of discrete fuzzy numbers, A characterization of interval-valued residuated lattices, Filters of residuated lattices and triangle algebras, Rough implication operator based on strong topological rough algebras, Reinventing known results in FCA: notes on two recently published algorithms for computation of formal concepts, The pseudo-linear semantics of interval-valued fuzzy logics, AN INVESTIGATION ON THE CO-ANNIHILATORS IN TRIANGLE ALGEBRAS, On local triangle algebras, A Survey on the Algebras of the So–Called Intuitionistic Fuzzy Sets (IFS), Two Consistent Many-Valued Logics for Paraconsistent Phenomena, Unnamed Item, Similarity triangle logic, Another paraconsistent algebraic semantics for Lukasiewicz-Pavelka logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Implication in fuzzy logic
• Mathematics behind fuzzy logic
• An algebraic approach to non-classical logics
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A survey of abstract algebraic logic
• A proof of standard completeness for Esteva and Godo's logic MTL
• Implication in intuitionistic fuzzy and interval-valued fuzzy set theory: construction, classification, application
• Fuzzy logics as the logics of chains
• Advances and challenges in interval-valued fuzzy logic
• Beyond Rasiowa's algebraic approach to non-classical logics
• ENRICHED INTERVAL BILATTICES AND PARTIAL MANY-VALUED LOGICS: AN APPROACH TO DEAL WITH GRADED TRUTH AND IMPRECISION
• ON THE PROPERTIES OF A GENERALIZED CLASS OF T-NORMS IN INTERVAL-VALUED FUZZY LOGICS
• Modal operators on bounded commutative residuated ℓ-monoids
• CLASSES OF INTUITIONISTIC FUZZY T-NORMS SATISFYING THE RESIDUATION PRINCIPLE
• Fuzzy equational logic