关于保持有效性与有限有效性的从一阶逻辑到关系演算的翻译注记
计算机科学中的逻辑
2025-12-31 v4
摘要
在本注记中，我们给出一种从一阶逻辑公式到关系演算方程的线性大小翻译，保持有效性与有限有效性。我们的翻译还给出了从一阶逻辑公式到一阶逻辑三变量片段公式的线性大小保守归约。
引用
@article{arxiv.2310.02845,
title = {Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity},
author = {Yoshiki Nakamura},
journal= {arXiv preprint arXiv:2310.02845},
year = {2025}
}