On n ‐contractive fuzzy logics

DOI10.1002/MALQ.200610044zbMATH Open1125.03017OpenAlexW1965097424MaRDI QIDQ5293197FDOQ5293197

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

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

zbMATH Keywords

fuzzy logicMTL-algebraMTL-logicweak cancellationgeneralized excluded middle

Mathematics Subject Classification ID

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

Cites Work

• Algebraic foundations of many-valued reasoning
• Title not available (Why is that?)
• Super-Łukasiewicz propositional logics
• Basic hoops: an algebraic study of continuous t-norms

Cited In (25)

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

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)