基于原子性与若-则-否则的 C-代数结构研究
计算机科学中的逻辑
2018-04-03 v1 逻辑
摘要
本文引入 -代数中原子（atoms）与原子性（atomicity）的概念，并得到变换的 -代数中原子的一个刻画。进而，本工作给出 -代数原子性的一些必要条件与充分条件，并证明有限原子 -代数的类恰好就是有限 adas 的类。本文还利用若-则-否则（if-then-else）动作研究 -代数的结构并分类变换的 -代数中的元素。
引用
@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}
}