An iterative characterization of post algebras

An iterative characterization of post algebras

A previous iterative characterization of Boolean algebras is extended to Post algebras. Use is made of iterative properties of algebraic functions on certain algebras constructed on the underlying lattice of a Post algebra.< >

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Reischer, C., Simovici, D.A.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Boolean algebra
Computer science
Lattices
Mathematics
Multivalued logic
Polynomials
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:A previous iterative characterization of Boolean algebras is extended to Post algebras. Use is made of iterative properties of algebraic functions on certain algebras constructed on the underlying lattice of a Post algebra.< >
DOI:10.1109/ISMVL.1988.5163