CMV-代数的逻辑
逻辑
2011-09-21 v1
摘要
本文在回顾CMV-代数的一些性质后，引入了Lukasiewicz命题逻辑单变量片段的一个扩张，其代数语义是CMV-代数簇。
关键词
引用
@article{arxiv.1002.0974,
title = {The Logic of CMV-Algebras},
author = {Antonio Di Nola and Brunella Gerla and Ciro Russo},
journal= {arXiv preprint arXiv:1002.0974},
year = {2011}
}