Equational bases for joins of residuated-lattice varieties
type: Item
instance of: scholarly article
title: Equational bases for joins of residuated-lattice varieties
zbMATH Open document ID: 1068.06007
author: Nikolaos Galatos
published in: Studia Logica
publication date: 2004-08-06T00:00:00Z
Mathematics Subject Classification ID: 06B20
Mathematics Subject Classification ID: 03G10
Mathematics Subject Classification ID: 06F05
Mathematics Subject Classification ID: 03B47
Mathematics Subject Classification ID: 08B05
zbMATH DE Number: 2082008
zbMATH Keywords: residuated lattices
zbMATH Keywords: positive universal formulas
zbMATH Keywords: joins of varieties
zbMATH Keywords: basis of equations
zbMATH Keywords: substructural logics
MaRDI profile type: Publication
full work available at URL: b:stud.0000032086.42963.7c
OpenAlex ID: W2013893458
DOI: 10.1023/B:STUD.0000032086.42963.7C
Recommended article: Strictly join irreducible varieties of residuated lattices
Recommended article: Q3710573
Recommended article: Equational bases for varieties of Ockham algebras
Recommended article: Residuated lattices arising from equivalence relations on Boolean and Brouwerian algebras
Recommended article: Q4250066
Recommended article: Finite equational bases for subalgebra distributive varieties
Recommended article: Relation equations in residuated lattices
Recommended article: Q3824414
Recommended article: On the lattice of varieties of residuation algebras
description: scientific article; zbMATH DE number 2082008