Residuated Kleene Algebras
From MaRDI portal
Publication:2897940
DOI10.1007/978-3-642-29485-3_1zbMath1354.03096OpenAlexW27649045MaRDI QIDQ2897940
Istvan Németi, Szabolcs Mikulás, Hajnalka Andréka
Publication date: 16 July 2012
Published in: Logic and Program Semantics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-29485-3_1
Equational classes, universal algebra in model theory (03C05) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (2)
The equational theories of representable residuated semigroups ⋮ Lower semilattice-ordered residuated semigroups and substructural logics
This page was built for publication: Residuated Kleene Algebras