\(n\)-contractive BL-logics

DOI10.1007/s00153-010-0213-8zbMath1266.03041OpenAlexW2026688822WikidataQ59321743 ScholiaQ59321743MaRDI QIDQ535139

Franco Montagna, Matteo Bianchi

Publication date: 11 May 2011

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-010-0213-8

zbMATH Keywords

MV-algebrasbasic logicmany-valued logicsvarieties of latticesresiduated lattices\(n\)-contractive logics

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) MV-algebras (06D35) Many-valued logic (03B50) Varieties of lattices (06B20)

Related Items

Characterizations and new subclasses of \(\mathcal{I}\)-filters in residuated lattices ⋮ Franco Montagna's work on provability logic and many-valued logic ⋮ A Note on Saturated Models for Many-Valued Logics ⋮ Proof theory for locally finite many-valued logics: semi-projective logics ⋮ Proof search and co-NP completeness for many-valued logics ⋮ Amalgamation property for some varieties of BL-algebras generated by one finite set of BL-chains with finitely many components ⋮ Obituary: Franco Montagna (1948--2015) ⋮ Single chain completeness and some related properties ⋮ Uninorm logic with the \(n\)-potency axiom ⋮ Unnamed Item ⋮ A Note on Drastic Product Logic ⋮ On linear varieties of MTL-algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Residuated lattices. An algebraic glimpse at substructural logics
• Canonicity in subvarieties of BL-algebras
• Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
• Supersound many-valued logics and Dedekind-MacNeille completions
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• Varieties of BL-algebras. I: General properties.
• On the structure of hoops
• One chain generated varieties of MV-algebras
• Triangular norm based predicate fuzzy logics
• Basic hoops: an algebraic study of continuous t-norms
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Preservation theorems for MTL-chains
• On Weakly Cancellative Fuzzy Logics
• Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
• Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
• Algebraizable logics
• On n ‐contractive fuzzy logics
• Substructural fuzzy logics
• Partially Ordered Sets