Algoma University College

Thesis in Computer Science

Thesis Agreement

Date Submitted

:


 September 20, 1996

Student Number

Student Name

:


 Michelle Kraushaar

Faculty Advisor

:


 J. Rajnovich

Project Title

:


 Partial Information Ionic Logic Systems

Project Description


This project will involve a detailed study of Partial Information Ionic
Logic as outlined in "The Logic of Partial Information" by Dr. Nait
Abdallah.  I will also look at implementations (such as PIL and PIL++
which were written by J. Rajnovich) to understand the data structures and
the logic tableau creators that they use.