SYSTEMS OF NATURAL DEDUCTION WITHOUT ESSENTIAL RESTRICTIONS ON VARIABLES.
Abstract
Research is summarized on the construction of a linear system in which the usually cumbersome quantifier rules are replaced by simpler ones. In it, the notion of a deduction is primitive, deducibility being the existence of a suitable deduction. A deduction is conceived as a finite sequence of formulas in which every formula appears with its number and with the set of assumption formulas on which it depends. No variables are flagged. The rules of the linear system are designed to make it correspond to the process of intuitive linear reasoning. The system is complete as to logical consequence and admits the positive, minimal, and intuitionistic subsystems. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 25, 1968
- Accession Number
- AD0679600
Entities
People
- Kurt Bing
Organizations
- Rensselaer Polytechnic Institute