In this study, we prove the completeness and cut-elimination theorems for a first-order extension F4CC of Arieli, Avron, and Zamansky’s ideal paraconsistent four-valued logic known as 4CC. These theorems are proved using Schütte’s method, which can simultaneously prove completeness and cut-elimination.

中文翻译：

---

一阶理想次一致四值逻辑的完备性和消割

在这项研究中，我们证明了 Arieli、Avron 和 Zamansky 的理想平行四值逻辑（称为 4CC）的一阶扩展 F4CC 的完备性和消减定理。这些定理是用 Schütte 方法证明的，它可以同时证明完备性和消割。