Nonrepresentable sequential algebras

DOI10.1093/jigpal/5.4.565zbMath0882.03061OpenAlexW2026224305MaRDI QIDQ4353720

Peter Jipsen, Roger D. Maddux

Publication date: 10 September 1997

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/7c6c8735e7a89beef072d1420127a806a531e7e9

zbMATH Keywords

relation algebrassequential calculussequential algebranon-finite-axiomatizability

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (3)

Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras ⋮ Relation algebras as expanded FL-algebras ⋮ An algebraic glimpse at bunched implications and separation logic

This page was built for publication: Nonrepresentable sequential algebras