Algebras and their subalgebras
From MaRDI portal
Publication:5787935
Cited in
(8)- New axiomatizations of S3 and S4
- Independent axiom schemata for von wright's M
- Complexity of equations valid in algebras of relations. I: Strong non-finitizability
- On Single Equational-Axiom Systems for Abelian Groups
- The shortest possible length of the longest implicational axiom
- Minimal identities for Boolean groups
- One variable is not enough for defining relation algebras, but two are
- Characterizing finite-valuedness
This page was built for publication: Algebras and their subalgebras
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5787935)