Generalized Coordinate Functions and Equivalence Classes in Post Algebras,
Abstract
The range of each function (C sub i), i = 1,...,m, defined on a Post algebra (P(n)) sup m) is ((P sub B)(n)) sup m, the lattice's underlying Boolean algebra. In the report the authors investigate the inverse image C(sub i)(Sup-1) (b) of each element b in ((P sub B)(n)) sup m for each function (C sub i). (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Jul 01, 1972
- Accession Number
- AD0748093
Entities
People
- Ed Ducasse
- Gernot Metze
Organizations
- University of Illinois Urbana–Champaign