Title :
Equations in the algebra of logic
Author_Institution :
Fac. of Math., Bucharest Univ., Romania
Abstract :
We survey the basic results in the theory of Boolean equations and the theory of equations in Post algebras. The two theories share four common features, which are analysed from the point of view of universal algebra; this yields further generalizations. Applications include a revision of Arystoteles´ syllogistics and the study of Boolean analogues of modus ponens and the deduction theorem
Keywords :
Boolean algebra; Boolean functions; theorem proving; Boolean equations; Post algebras; algebra of logic; deduction theorem; modus ponens; universal algebra; Boolean algebra; Boolean functions; Equations; Lattices; Logic functions; Mathematics; Terminology;
Conference_Titel :
Multiple-Valued Logic, 2002. ISMVL 2002. Proceedings 32nd IEEE International Symposium on
Conference_Location :
Boston, MA
Print_ISBN :
0-7695-1462-6
DOI :
10.1109/ISMVL.2002.1011062
