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 logicMTL-algebraMTL-logicweak cancellationgeneralized excluded middle

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

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

Cited in

(25)

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

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)