The equational theories of representable residuated semigroups
type: Item
instance of: scholarly article
title: The equational theories of representable residuated semigroups
zbMATH Open document ID: 1357.06012
author: Szabolcs Mikulás
published in: Synthese
publication date: 2017-03-09T00:00:00Z
full work available at URL: Mik-Synt-rev-biron.pdf
Mathematics Subject Classification ID: 06F05
Mathematics Subject Classification ID: 03G25
Mathematics Subject Classification ID: 08B20
zbMATH DE Number: 6693204
zbMATH Keywords: finite axiomatizability
zbMATH Keywords: relation algebras
zbMATH Keywords: residuation
zbMATH Keywords: free algebra
MaRDI profile type: Publication
OpenAlex ID: W2093861459
cites work: Q4085699
cites work: Q4297115
cites work: Lambek calculus and its relational semantics: Completeness and incompleteness
cites work: Residuated Kleene Algebras
cites work: Q3934450
cites work: The Mathematics of Sentence Structure
cites work: On representable ordered residuated semigroups
cites work: Lower semilattice-ordered residuated semigroups and substructural logics
cites work: Q4287490
DOI: 10.1007/S11229-014-0513-3
description: scientific article; zbMATH DE number 6693204