分层集合语言具有合流性与强正规性
计算机科学中的逻辑
2023-06-22 v3
摘要
我们研究分层集合语言（带 和分层条件的一阶逻辑）的性质，该语言用于 TST、TZT 以及奎因的 NF（以可分层性代替分层）。我们发现其语法构成替换的名义代数，且分层与可分层性蕴含在自然对应于 -转换的重写下的合流性与强正规性。
引用
@article{arxiv.1705.07767,
title = {The language of Stratified Sets is confluent and strongly normalising},
author = {Murdoch J. Gabbay},
journal= {arXiv preprint arXiv:1705.07767},
year = {2023}
}
备注
arXiv admin note: text overlap with arXiv:1406.4060