The standard completeness of interval-valued monoidal t-norm based logic

DOI10.1016/j.ins.2011.11.043zbMath1258.03030OpenAlexW2097933136MaRDI QIDQ454982

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

Publication date: 2 October 2012

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://biblio.ugent.be/publication/2128184

zbMATH Keywords

many-valued logicresiduated latticesinterval-valued structures

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

Related Items

Residual implications on lattice \(\mathcal{L}\) of intuitionistic truth values based on powers of continuous t-norms ⋮ \((\mathtt{f}_{\mathtt{I}}, \omega)\)-implications and distributivity of implications on \(\mathcal{L}\) over t-representable t-norms: the case of strict and nilpotent t-norms ⋮ 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 ⋮ Robustness of reverse triple I algorithms based on interval-valued fuzzy inference ⋮ Algebraic structures related to nilpotent minimum algebras and rough sets1 ⋮ Distributivity of implication operations over t-representable t-norms in interval-valued fuzzy set theory: the case of nilpotent t-norms ⋮ The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on \(Z\)-numbers
• Triangle algebras: A formal logic approach to interval-valued residuated lattices
• Advances in type-2 fuzzy sets and systems
• Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
• On the failure of standard completeness in \(\Pi\)MTL for infinite theories
• A characterization of interval-valued residuated lattices
• The pseudo-linear semantics of interval-valued fuzzy logics
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• An algebraic approach to non-classical logics
• The concept of a linguistic variable and its application to approximate reasoning. I
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• A proof of standard completeness for Esteva and Godo's logic MTL
• Standard completeness theorem for \(\Pi\)MTL
• Advances and challenges in interval-valued fuzzy logic
• Beyond Rasiowa's algebraic approach to non-classical logics
• Proof theory for fuzzy logics
• Mathematical fuzzy logic as a tool for the treatment of vague information
• ENRICHED INTERVAL BILATTICES AND PARTIAL MANY-VALUED LOGICS: AN APPROACH TO DEAL WITH GRADED TRUTH AND IMPRECISION
• Algebraic Analysis of Many Valued Logics
• A propositional calculus with denumerable matrix
• A New Proof of the Completeness of the Lukasiewicz Axioms
• On Weakly Cancellative Fuzzy Logics
• Some comments on interval valued fuzzy sets
• ON THE PROPERTIES OF A GENERALIZED CLASS OF T-NORMS IN INTERVAL-VALUED FUZZY LOGICS
• CLASSES OF INTUITIONISTIC FUZZY T-NORMS SATISFYING THE RESIDUATION PRINCIPLE
• Residuated Lattices