Accession Number:

ADA196318

Title:

A Classification of Designated Logic Systems

Descriptive Note:

Master's thesis

Corporate Author:

AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH

Personal Author(s):

Report Date:

1988-02-01

Pagination or Media Count:

146.0

Abstract:

Logic systems can be defined using a trichotomized rather than the dichotomized universe used in classical logic. We partition these designated logic systems using the negation or complement function into the designated, antidesignated and neutral logic classes. The complement function alone is not sufficient to uniquely determine an assignment of logic elements to partition classes. Using a modified definition of conjunction within the designated logic system framework we can uniquely determine an assignment up to equivalence for any designated logic system. We build a hierarchy of mathematical systems to describe properties found in some common designated computer logic systems. Starting with a simple algebra and imposing constraints we end up with an order defined for some of the designated logic systems. Using this hierarchy we find the number of conjunction functions homomorphic to classical logic when only designated and antidesignated values are conjoined. The logic systems described by these twelve homomorphisms are designated logic systems closest in behavior to classical logic.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE