Title :
Propositional skew Boolean logic
Author :
Bignall, R.J. ; Spinks, M.
Author_Institution :
Sch. of Comput. & Inf. Technol., Monash Univ., Churchill, Vic., Australia
Abstract :
A non-commutative propositional logic is described. A Hilbert-style axiomatisation is given for the logic, and a multiple-valued interpretation is constructed. The logic is shown to be sound and complete with respect to this interpretation. We also show that the logic has no finite complete models. An application includes the specification and design of multiple-valued switching circuits
Keywords :
Boolean algebra; Boolean functions; logic design; multivalued logic; multivalued logic circuits; Hilbert-style axiomatisation; multiple-valued switching circuits; noncommutative propositional logic; propositional skew Boolean logic; Australia; Boolean algebra; Boolean functions; Lattices; Logic functions; Switching circuits;
Conference_Titel :
Multiple-Valued Logic, 1996. Proceedings., 26th International Symposium on
Conference_Location :
Santiago de Compostela
Print_ISBN :
0-8186-7392-3
DOI :
10.1109/ISMVL.1996.508334
