\(n\)-contractive BL-logics
type: Item
instance of: scholarly article
title: \(n\)-contractive BL-logics
zbMATH Open document ID: 1266.03041
author: Matteo Bianchi
author: Franco Montagna
published in: Archive for Mathematical Logic
publication date: 2011-05-11T00:00:00Z
Mathematics Subject Classification ID: 03B50
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 06B20
Mathematics Subject Classification ID: 06D35
zbMATH DE Number: 5886770
zbMATH Keywords: many-valued logics
zbMATH Keywords: basic logic
zbMATH Keywords: \(n\)-contractive logics
zbMATH Keywords: residuated lattices
zbMATH Keywords: varieties of lattices
zbMATH Keywords: MV-algebras
MaRDI profile type: Publication
full work available at URL: s00153-010-0213-8
OpenAlex ID: W2026688822
Wikidata QID: Q59321743
cites work: Basic hoops: an algebraic study of continuous t-norms
cites work: Varieties of BL-algebras. I: General properties.
cites work: Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
cites work: Supersound many-valued logics and Dedekind-MacNeille completions
cites work: On the structure of hoops
cites work: Algebraizable logics
cites work: Q3934450
cites work: Canonicity in subvarieties of BL-algebras
cites work: Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies
cites work: Triangular norm based predicate fuzzy logics
cites work: Q4530231
cites work: One chain generated varieties of MV-algebras
cites work: Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: On n ‐contractive fuzzy logics
cites work: Partially Ordered Sets
cites work: Substructural fuzzy logics
cites work: Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
cites work: Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics
cites work: On Weakly Cancellative Fuzzy Logics
cites work: Preservation theorems for MTL-chains
DBLP publication ID: journals/aml/BianchiM11
DOI: 10.1007/S00153-010-0213-8
description: scientific article; zbMATH DE number 5886770