DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click
HERE to register or log in.
Accession Number:
AD0679600
Title:
SYSTEMS OF NATURAL DEDUCTION WITHOUT ESSENTIAL RESTRICTIONS ON VARIABLES.
Descriptive Note:
Final scientific rept.,
Corporate Author:
RENSSELAER POLYTECHNIC INST TROY N Y DEPT OF MATHEMATICS
Report Date:
1968-11-25
Pagination or Media Count:
9.0
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
Distribution Statement:
APPROVED FOR PUBLIC RELEASE
