Nonrepresentable sequential algebras

DOI10.1093/JIGPAL/5.4.565MaRDI QIDQ4353720zbMATH OpenOpenAlexFDO

Authors Peter Jipsen, Roger Maddux

Publication date 10 September 1997

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

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

zbMATH Keywords

non-finite-axiomatizabilityrelation algebrassequential algebrasequential calculus

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Sequential calculus
• An algebraic approach to temporal logic
• Towards a design calculus for CSP
• A sequent calculus for relation algebras

Cited in

(13)

• Non-commutative subsequence principles
• Characterization of \(p_ n\)-sequences for nonidempotent algebras
• Towards a design calculus for CSP
• Relation algebras as expanded FL-algebras
• Sequential Automatic Algebras
• scientific article; zbMATH DE number 3896328 (Why is no real title available?)
• scientific article; zbMATH DE number 1972787 (Why is no real title available?)
• Relation algebras, idempotent semirings and generalized bunched implication algebras
• scientific article; zbMATH DE number 5584569 (Why is no real title available?)
• An algebraic glimpse at bunched implications and separation logic
• Sequential calculus
• Representable distributive quasi relation algebras
• A sequent calculus for relation algebras

This page was built for publication: Nonrepresentable sequential algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4353720)