Towards the automation of set theory and its logic

Authors:
Frank Malloy Brown
Affiliations:
-
Venue:
Artificial Intelligence
Year:
1978

Citing 2
Cited 0

A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
Toward mechanical mathematics

IBM Journal of Research and Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.