An Equational Axiomatization for the Disjoint System of Post Algebras

DOI10.1109/T-C.1973.223731zbMath0252.02056MaRDI QIDQ5665194

George Epstein

Publication date: 1973

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

Logical aspects of Boolean algebras (03G05)

Related Items (3)

A logic for reasoning with inconsistency ⋮ P-algebras, an abstraction from Post algebras ⋮ Which data types have \(\omega\)-complete initial algebra specifications?

This page was built for publication: An Equational Axiomatization for the Disjoint System of Post Algebras