
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