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

DOI10.1016/J.INS.2011.11.043zbMATH Open1258.03030OpenAlexW2097933136MaRDI QIDQ454982FDOQ454982

Authors: C. Cornelis, G. Deschrijver, E. E. Kerre, B. 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

Recommendations

• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Strong standard completeness for continuous t-norms
• Standard completeness theorem for \(\Pi\)MTL
• On standard completeness for non-commutative many-valued logics
• On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions

zbMATH Keywords

many-valued logicresiduated latticesinterval-valued structures

Mathematics Subject Classification ID

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

Cites Work

• 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
• Algebraic Analysis of Many Valued Logics
• A propositional calculus with denumerable matrix
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• A proof of standard completeness for Esteva and Godo's logic MTL
• Standard completeness theorem for \(\Pi\)MTL
• Proof theory for fuzzy logics
• On Weakly Cancellative Fuzzy Logics
• An algebraic approach to non-classical logics
• Some comments on interval valued fuzzy sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Residuated Lattices
• Uncertain rule-based fuzzy logic systems: introduction and new directions
• Title not available (Why is that?)
• Advances in type-2 fuzzy sets and systems
• Title not available (Why is that?)
• Advances and challenges in interval-valued fuzzy logic
• A note on \(Z\)-numbers
• CLASSES OF INTUITIONISTIC FUZZY T-NORMS SATISFYING THE RESIDUATION PRINCIPLE
• A characterization of interval-valued residuated lattices
• Triangle algebras: A formal logic approach to interval-valued residuated lattices
• The pseudo-linear semantics of interval-valued fuzzy logics
• Beyond Rasiowa's algebraic approach to non-classical 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
• Title not available (Why is that?)
• ON THE PROPERTIES OF A GENERALIZED CLASS OF T-NORMS IN INTERVAL-VALUED FUZZY LOGICS
• 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

Cited In (14)

• Residual implications on lattice \(\mathcal{L}\) of intuitionistic truth values based on powers of continuous t-norms
• The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras
• Algebraic structures related to nilpotent minimum algebras and rough sets
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• Interval-valued fuzzy reasoning full implication algorithms based on the t-representable t-norm
• Standard completeness theorem for \(\Pi\)MTL
• On standard completeness for non-commutative many-valued logics
• \((\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
• Robustness of reverse triple I algorithms based on interval-valued fuzzy inference
• Relational ternary semantics for a logic equivalent to involutive mondial t-norm based logic IMTL
• Interval-valued quintuple implication principle of fuzzy reasoning
• Distributivity of implication operations over t-representable t-norms in interval-valued fuzzy set theory: the case of nilpotent t-norms
• Robustness of full implication algorithms based on interval-valued fuzzy inference
• A proof of the standard completeness for the involutive uninorm logic

This page was built for publication: The standard completeness of interval-valued monoidal t-norm based logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q454982)