If-then-else over the algebra of conditional logic
| dc.contributor.author | Panicker, Gayatri | |
| dc.date.accessioned | 2018-05-03T06:54:48Z | |
| dc.date.accessioned | 2023-10-20T12:30:47Z | |
| dc.date.available | 2018-05-03T06:54:48Z | |
| dc.date.available | 2023-10-20T12:30:47Z | |
| dc.date.issued | 2017 | |
| dc.description | Supervisors: K. V. Krishna & Purandar Bhaduri | en_US |
| dc.description.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 axiomatization for the equality test along with if-then-else through the notion of agreeable C-sets, which is complete for the class of agreeable C-sets where the C-algebra is an ada. The thesis also introduces the notion of C-monoids which consider the composition of programs as well as composition of programs with tests along with if-then-else. A Cayley-type theorem is obtained in that every C-monoid where the C-algebra is an ada is embeddable in a functional C-monoid.The thesis also uses the if-then-else action to study the structure of C-algebras through the notions of annihilators and idempotence, through which a classification of elements of the C-algebra of transformations 3X is achieved. The thesis also proposes the notions of atoms and atomicity in C-algebras and obtains a characterisation of atoms in 3X. Further, the thesis presents necessary or sufficient conditions for the atomicity of C-algebras and shows that the class of finite atomic C-algebras is precisely that of finite adas. | en_US |
| dc.identifier.other | ROLL NO.11612304 | |
| dc.identifier.uri | https://gyan.iitg.ac.in/handle/123456789/922 | |
| dc.language.iso | en | en_US |
| dc.relation.ispartofseries | TH-1673; | |
| dc.subject | MATHEMATICS | en_US |
| dc.title | If-then-else over the algebra of conditional logic | en_US |
| dc.type | Thesis | en_US |
Files
License bundle
1 - 1 of 1