Includes bibliographical references (p. 321-325) and index.
Contents:
Review of classical propositional logic -- Review of classical first-order logic -- Alternative semantics for truth-values and truth-functions : numeric truth-values and abstract algebras -- Three-valued propositional logics : semantics -- Derivation systems for three-valued propositional logic -- Three-valued first-order logics : semantics -- Derivation systems for three-valued first-order logic -- Alternative semantics for three-valued logic -- The principle of charity reconsidered and a new problem of the fringe -- Fuzzy propositional logics : semantics -- Fuzzy algebras -- Derivation systems for fuzzy propositional logic -- Fuzzy first-order logics : semantics -- Derivation systems for fuzzy first-order logic -- Extensions of fuzziness -- Fuzzy membership functions.
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.