• DocumentCode
    2136417
  • Title

    Propositional skew Boolean logic

  • Author

    Bignall, R.J. ; Spinks, M.

  • Author_Institution
    Sch. of Comput. & Inf. Technol., Monash Univ., Churchill, Vic., Australia
  • fYear
    1996
  • fDate
    29-31 May 1996
  • Firstpage
    43
  • Lastpage
    48
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1996. Proceedings., 26th International Symposium on
  • Conference_Location
    Santiago de Compostela
  • ISSN
    0195-623X
  • Print_ISBN
    0-8186-7392-3
  • Type

    conf

  • DOI
    10.1109/ISMVL.1996.508334
  • Filename
    508334
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2136417