On the structure of C-algebras through atomicity and if-then-else
Logic in Computer Science
2018-04-03 v1 Logic
Abstract
This paper introduces the notions of atoms and atomicity in -algebras and obtains a characterisation of atoms in the -algebra of transformations. Further, this work presents some necessary conditions and sufficient conditions for the atomicity of -algebras and shows that the class of finite atomic -algebras is precisely that of finite adas. This paper also uses the if-then-else action to study the structure of -algebras and classify the elements of the -algebra of transformations.
Cite
@article{arxiv.1804.00568,
title = {On the structure of C-algebras through atomicity and if-then-else},
author = {Gayatri Panicker and K. V. Krishna and Purandar Bhaduri},
journal= {arXiv preprint arXiv:1804.00568},
year = {2018}
}