scientific article; zbMATH DE number 475236

zbMath0783.03036MaRDI QIDQ4273477

Vaughan R. Pratt

Publication date: 23 January 1994

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

representabilitycompletenessdecidabilityrelation algebrasvarietiesdynamic algebras

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (21)

Peirce algebras ⋮ On dynamic algebras ⋮ Towards automating duality ⋮ Notes on equational theories of relations ⋮ Inductive semimodules and the vector modules over them. ⋮ Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Axiomatizability of representable domain algebras ⋮ On the dynamic logic of agency and action ⋮ The equational theory of Kleene lattices ⋮ A string diagrammatic axiomatisation of finite-state automata ⋮ Equational properties of Kleene algebras of relations with conversion ⋮ Algebraization of quantifier logics, an introductory overview ⋮ Dynamic algebras: Examples, constructions, applications ⋮ Monoids with tests and the algebra of possibly non-halting programs ⋮ A relation-algebraic approach to the region connection calculus ⋮ Synchronous Kleene algebra ⋮ Distributed Relation Logic ⋮ On the complexity of reasoning in Kleene algebra ⋮ A system of dynamic modal logic ⋮ NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS ⋮ Notions of density that imply representability in algebraic logic

This page was built for publication: