The standard completeness of interval-valued monoidal t-norm based logic
From MaRDI portal
Publication:454982
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
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
