On n ‐contractive fuzzy logics

DOI10.1002/MALQ.200610044MaRDI QIDQ5293197zbMATH OpenOpenAlexFDO

Authors Rostislav Horčík, Carles Noguera, Milan Petrík

Publication date 26 June 2007

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200610044

zbMATH Keywords

fuzzy logicgeneralized excluded middleMTL-algebraMTL-logicweak cancellation

Mathematics Subject Classification ID

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

Recommendations

• On n-contractive fuzzy logics: first results
• On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic
• A proof of standard completeness for Esteva and Godo's logic MTL
• NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
• Algebraic and proof-theoretic characterizations of truth stressers for MTL and its extensions

Cites work

• Algebraic foundations of many-valued reasoning
• Basic hoops: an algebraic study of continuous t-norms
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• Super-Łukasiewicz propositional logics

Cited in

(27)

• A note on intervals of residuated -groupoids
• The logic of the strongest and the weakest t-norms
• On some questions concerning the axiomatisation of WNM-algebras and their subvarieties
• Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras
• On some subvarieties of \(IMTn\)-algebras and the partitions of the \(m\)-cube.
• Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics
• Formal systems of fuzzy logic and their fragments
• Densification of FL chains via residuated frames
• Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices
• Consequence and degrees of truth in many-valued logic
• Paraconsistency properties in degree-preserving fuzzy logics
• On triangular norm based axiomatic extensions of the weak nilpotent minimum logic
• On fuzzy logics based on t-norms and the results of Monteiro on symmetric Heyting algebras
• On n-contractive fuzzy logics: first results
• Archimedean classes in integral commutative residuated chains
• scientific article; zbMATH DE number 7547163 (Why is no real title available?)
• A Note on Drastic Product Logic
• n-contractive BL-logics
• Semilinear idempotent distributive \(\ell\)-monoids
• Semiconic idempotent logic. I: Structure and local deduction theorems.
• Semiconic idempotent logic. II: Beth definability and deductive interpolation
• Coatoms, molecules, and creators in MTL-algebras and their counterparts in multivalued logics
• Uninorm logic with the \(n\)-potency axiom
• On a new classification of triangular norms
• NMŁ, a schematic extension of F. Esteva and L. Godo's logic MTL
• Uniform proofs of standard completeness for extensions of first-order MTL
• Disjunctive elimination rule and its application in MTL

This page was built for publication: On n ‐contractive fuzzy logics

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