A proof system for the first-order relational calculus

作者：

Highlights：

•

摘要

A consistent and complete proof system is given for the first-order relational calculus. The system is based on the Analytic Tableaux method for first-order predicate calculus. The compactness theorem for the system is then derived.

论文关键词：

论文评审过程：Received 20 June 1977, Revised 20 June 1979, Available online 3 December 2003.

论文官网地址：https://doi.org/10.1016/0022-0000(80)90007-0