Semisimples in varieties of commutative integral bounded residuated lattices
type: Item
instance of: scholarly article
title: Semisimples in varieties of commutative integral bounded residuated lattices
zbMATH Open document ID: 1417.06005
published in: Studia Logica
publication date: 2016-10-27T00:00:00Z
Mathematics Subject Classification ID: 06B20
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 06F05
Mathematics Subject Classification ID: 06F35
Mathematics Subject Classification ID: 08B05
zbMATH DE Number: 6644695
zbMATH Keywords: residuated lattices
zbMATH Keywords: semisimple and local residuated lattices
zbMATH Keywords: \(k\)-radical varieties
zbMATH Keywords: radical term
author: Antoni Torrens
describes a project that uses: Prover9
describes a project that uses: Mace4
MaRDI profile type: Publication
full work available at URL: s11225-016-9655-2
OpenAlex ID: W2297069902
cites work: Q3093852
cites work: On the structure of hoops
cites work: Algebraizable logics
cites work: Q3934450
cites work: Indecomposability of free algebras in some subvarieties of residuated lattices and their bounded subreducts
cites work: Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
cites work: Varieties of commutative integral bounded residuated lattices admitting a Boolean retraction term
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Maximal residuated lattices with lifting Boolean center
cites work: Bounded BCK-algebras and their generated variety
cites work: Q4836218
cites work: Semisimplicity, EDPC and discriminator varieties of residuated lattices
cites work: Semisimplicity and the discriminator in bounded BCK-algebras
DOI: 10.1007/S11225-016-9655-2
description: scientific article; zbMATH DE number 6644695