An Equational Axiomatization for the Disjoint System of Post Algebras
- 1 April 1973
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-22 (4) , 422-423
- https://doi.org/10.1109/T-C.1973.223731
Abstract
It is shown that the class of Post algebras of finite order n is equationally definable where the only unary operators are the disoint operators Ci, i = 0, 1,..., n -1.Keywords
This publication has 0 references indexed in Scilit: