• DocumentCode
    2455764
  • Title

    Representation theorem of Ockham algebras

  • Author

    Garcia, P. ; Esteva, F.

  • Author_Institution
    ETSAB-Univ. Politecnica Catalunya, Barcelona, Spain
  • fYear
    1989
  • fDate
    29-31 May 1989
  • Firstpage
    14
  • Lastpage
    19
  • Abstract
    A representation theorem of Ockham algebras as subalgebras of direct products of copies of Bω is given. A necessary condition for an Ockham algebra to be subdirectly irreducible is also given. The congruence lattice of Bω is studied
  • Keywords
    formal logic; Ockham algebras; congruence lattice; direct products; necessary condition; representation theorem; subalgebras; Boolean algebra; Calculus; Equations; Filters; Gold; Lattices; Logic functions;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 1989. Proceedings., Nineteenth International Symposium on
  • Conference_Location
    Guangzhou
  • Print_ISBN
    0-8186-1947-3
  • Type

    conf

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