IEEE - Institute of Electrical and Electronics Engineers, Inc. - Propositional skew Boolean logic

Proceedings of 26th IEEE International Symposium on Multiple-Valued Logic (ISMVL'96)

Author(s): Bignall, R.J. ; Spinks, M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Santiago de Compostela, Spain, Spain
Conference Date: 29 May 1996
Page(s): 43 - 48
ISBN (Paper): 0-8186-7392-3
ISSN (Paper): 0195-623X
DOI: 10.1109/ISMVL.1996.508334
Regular:

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... View More

Advertisement