Off-campus UNL users: To download campus access dissertations, please use the following link to log into our proxy server with your NU ID and password. When you are done browsing please remember to return to this page and log out.
Non-UNL users: Please talk to your librarian about requesting this dissertation through interlibrary loan.
NATURAL DEDUCTION AND UNIVERSAL VALIDITY
Abstract
One of the main studies in a system of logic is concerned with the validity of formulas. By means of interpretations and models, formulas are transformed into statements whose truth values are fixed. Each of these interpretations is with respect to an individual- domain. In general, the validity of a formula depends upon the number of objects in the individual-domain; and, for that reason, one speaks of the validity of a formula in a given domain. If a formula is valid in all non- empty individual-domains, the formula is called valid. The usual objective in a system of logic is to characterize the valid formulas.
Subject Area
Mathematics
Recommended Citation
FOX, DAVID FRANKLIN, "NATURAL DEDUCTION AND UNIVERSAL VALIDITY" (1968). ETD collection for University of Nebraska-Lincoln. AAI6811553.
https://digitalcommons.unl.edu/dissertations/AAI6811553