The standard completeness of interval-valued monoidal t-norm based logic
From MaRDI portal
(Redirected from Publication:454982)
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
Cites work
- scientific article; zbMATH DE number 3887682 (Why is no real title available?)
- scientific article; zbMATH DE number 2042619 (Why is no real title available?)
- scientific article; zbMATH DE number 764336 (Why is no real title available?)
- scientific article; zbMATH DE number 922613 (Why is no real title available?)
- scientific article; zbMATH DE number 3198011 (Why is no real title available?)
- A New Proof of the Completeness of the Lukasiewicz Axioms
- A characterization of interval-valued residuated lattices
- A note on \(Z\)-numbers
- A proof of standard completeness for Esteva and Godo's logic MTL
- A propositional calculus with denumerable matrix
- Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results
- Advances and challenges in interval-valued fuzzy logic
- Advances in type-2 fuzzy sets and systems
- Algebraic Analysis of Many Valued Logics
- An algebraic approach to non-classical logics
- Beyond Rasiowa's algebraic approach to non-classical logics
- CLASSES OF INTUITIONISTIC FUZZY T-NORMS SATISFYING THE RESIDUATION PRINCIPLE
- Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
- ENRICHED INTERVAL BILATTICES AND PARTIAL MANY-VALUED LOGICS: AN APPROACH TO DEAL WITH GRADED TRUTH AND IMPRECISION
- Mathematical fuzzy logic as a tool for the treatment of vague information
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- ON THE PROPERTIES OF A GENERALIZED CLASS OF T-NORMS IN INTERVAL-VALUED FUZZY LOGICS
- On Weakly Cancellative Fuzzy Logics
- On the failure of standard completeness in \(\Pi\)MTL for infinite theories
- Proof theory for fuzzy logics
- Residuated Lattices
- Some comments on interval valued fuzzy sets
- Standard completeness theorem for \(\Pi\)MTL
- The concept of a linguistic variable and its application to approximate reasoning. I
- The pseudo-linear semantics of interval-valued fuzzy logics
- Triangle algebras: A formal logic approach to interval-valued residuated lattices
- Uncertain rule-based fuzzy logic systems: introduction and new directions
Cited in
(14)- Interval-valued quintuple implication principle of fuzzy reasoning
- Residual implications on lattice \(\mathcal{L}\) of intuitionistic truth values based on powers of continuous t-norms
- 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
- Algebraic structures related to nilpotent minimum algebras and rough sets
- Interval-valued fuzzy reasoning full implication algorithms based on the t-representable t-norm
- Robustness of reverse triple I algorithms based on interval-valued fuzzy inference
- Robustness of full implication algorithms based on interval-valued fuzzy inference
- The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras
- A proof of the standard completeness for the involutive uninorm logic
- On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
- Relational ternary semantics for a logic equivalent to involutive mondial t-norm based logic IMTL
- Distributivity of implication operations over t-representable t-norms in interval-valued fuzzy set theory: the case of nilpotent t-norms
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)
