Towards the automation of set theory and its logic

作者：

摘要

We give a description of a prototype extensible deductive system for elementary set theory which is based on truth-value preserving transformations, and then describe an experimental application of it to the first few chapters of W. V. O. Quine's book: Set Theory and its Logic.

论文关键词：

论文评审过程：Received 7 May 1977, Revised 15 January 1978, Available online 11 July 2006.

论文官网地址：https://doi.org/10.1016/S0004-3702(78)80017-4