A Classification of Designated Logic Systems
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Feb 01, 1988
- Accession Number
- ADA196318
Entities
People
- Kelly A. Shaw
Organizations
- Air Force Institute of Technology