Open Access. Powered by Scholars. Published by Universities.®

Logic and Foundations Commons

Open Access. Powered by Scholars. Published by Universities.®

Dissertations and Theses @ UNI

Articles 1 - 2 of 2

Full-Text Articles in Logic and Foundations

Fuzzy Logic: An Analysis Of Logical Connectives And Their Characterizations, John F. Hamman Jan 1997

Fuzzy Logic: An Analysis Of Logical Connectives And Their Characterizations, John F. Hamman

Dissertations and Theses @ UNI

The focus of this thesis is to determine exactly which functions serve as appropriate fuzzy negation, conjunction and disjunction functions. To this end, the first chapter serves as motivation for why fuzzy logic is needed, and includes an original demonstration of the inadequacy of many valued logics to resolve the sorites paradox. Chapter 2 serves as an introduction to fuzzy sets and logic. The canonical fuzzy set of tall men is examined as a motivating example, and the chapter concludes with a discussion of membership functions.

Four desirable conditions of the negation function are given in Chapter 3, but it …


A Partial "Squeezing Theorem" For A Particular Class Of Many-Valued Logics, Stephen Michael Walk Jan 1994

A Partial "Squeezing Theorem" For A Particular Class Of Many-Valued Logics, Stephen Michael Walk

Dissertations and Theses @ UNI

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 …