\(n\)-contractive BL-logics
From MaRDI portal
Publication:535139
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
MV-algebrasbasic logicmany-valued logicsvarieties of latticesresiduated lattices\(n\)-contractive logics
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
