Dissertations and Theses @ UNI
Award Winner
Recipient of the 1995 Outstanding Master's Thesis Award - Second Place.
To go to the Graduate Student Award Recipients collection page, click here.
Availability
Open Access Thesis
Keywords
Many-valued logic; Logic, Symbolic and mathematical;
Abstract
The problem to be studied for this thesis was that of whether the usual statement calculus is a suitable formal system for every many-valued logic in a particular collection of logics. The logics in question are those that fall between the usual two-valued logic and a modified form of the Lukasiewicz-Tarski three-valued logic.
Since this betweenness relationship was an original concept and appeared nowhere in the literature, the first goal in the research plan was to define this relationship precisely. Preliminary concepts included truth value mapping and forgivingness of logics, concepts that, like betweenness, are original to this paper and that facilitate the comparison of many-valued logics. After betweenness was defined, the next stage of the research would be to investigate the logics between the classical logic and the modified Lg and to see for which of these logics the statement calculus is suitable. This would involve direct calculations with truth tables as well as the use of any published results on the axiomatization and also the comparison of many-valued logics.
Because of the scarcity of work or literature on the problem of comparing many-valued logics, direct calculation turned out to be the most effective method of research. The introduction of a device called a truth class table proved to be invaluable. Such a table allows the logician to work with sets of truth values instead of with individual truth values themselves. Truth class tables were calculated that are characteristic of the logics under consideration.
It was discovered that the usual statement calculus is not suitable for every logic between the two-valued logic and the modified L3. The main result of the thesis is a theorem relating sufficient conditions under which a many-valued logic will have the usual statement calculus for a suitable formal system. It is not yet known whether these conditions are necessary as well as sufficient. Concluding remarks demonstrate, as a corollary to the main result, that for any integer n there exist n-valued logics for which the usual statement calculus is suitable.
Year of Submission
1994
Year of Award
1995 Award
Degree Name
Master of Arts
Department
Department of Mathematics
First Advisor
Michael Millar, Chair, Thesis Committee
Date Original
5-1994
Object Description
1 PDF file (v, 98 pages)
Copyright
©1994 Stephen Michael Walk
Language
en
File Format
application/pdf
Recommended Citation
Walk, Stephen Michael, "A partial "squeezing theorem" for a particular class of many-valued logics" (1994). Dissertations and Theses @ UNI. 688.
https://scholarworks.uni.edu/etd/688
Comments
If you are the rightful copyright holder of this thesis and wish to have it removed from the Open Access Collection, please submit an email request to scholarworks@uni.edu. Include your name and clearly identify the thesis by full title and author as shown on the work.