DID YOU KNOW? DTIC has over 3.5 million final reports on DoD funded research, development, test, and evaluation activities available to our registered users. Click

HERE to register or log in.

# 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

# 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.

# Distribution Statement:

## APPROVED FOR PUBLIC RELEASE

#