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

Personal Author(s) : Bing,Kurt

Report Date : 25 NOV 1968

Pagination or Media Count : 9

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)

Descriptors :   (*MATHEMATICAL LOGIC, LINEAR SYSTEMS), REASONING, SET THEORY

Subject Categories : Theoretical Mathematics

Distribution Statement : APPROVED FOR PUBLIC RELEASE