• DocumentCode
    1819332
  • Title

    Equations in the algebra of logic

  • Author

    Rudeanu, Sergiu

  • Author_Institution
    Fac. of Math., Bucharest Univ., Romania
  • fYear
    2002
  • fDate
    2002
  • Firstpage
    2
  • Lastpage
    8
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 2002. ISMVL 2002. Proceedings 32nd IEEE International Symposium on
  • Conference_Location
    Boston, MA
  • Print_ISBN
    0-7695-1462-6
  • Type

    conf

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