与结构组合相关的闭包与生成集
逻辑
2016-01-05 v1
摘要
我们研究闭包算子，并描述其对结构的-组合与-组合及其理论的性质。对于-组合，我们证明理论的极小生成集的存在性等价于最小生成集的存在性，并从语法和语义上刻画最小生成集存在性的性质。对于线性有序语言一致理论类，我们解决了关于-组合的最小生成集存在性问题，并根据序来刻画该存在性。
引用
@article{arxiv.1601.00043,
title = {Closures and generating sets related to combinations of structures},
author = {Sergey V. Sudoplatov},
journal= {arXiv preprint arXiv:1601.00043},
year = {2016}
}