If then else over the algebra of conditional logic

Abstract

This thesis aims at giving an axiomatization for the operation of if then else over algebras of non halting programs and non halting tests and further makes use of this axiomatization to study structural properties of the algebra of conditional logic To this aim the thesis introduces the notion of C sets by considering the tests from a C algebra When the Calgebra is an ada the axiomatization is shown to be complete through a subdirect representation Further this thesis gives an axiomatiza