Accession Number:

AD0744628

Title:

A Generalized Equivalence Relation for Algebras of Post Functions,

Descriptive Note:

Corporate Author:

ILLINOIS UNIV URBANA COORDINATED SCIENCE LAB

Personal Author(s):

• DuCasse,Ed
• Metze,Gernot

Report Date:

1972-05-01

Pagination or Media Count:

20.0

Abstract:

An equivalence relation introduced by Wojcik and by wojcik and Metze for algebras of Post functions of a single variable defined on a Post chain Pn is generalized to arbitrary finite Post algebras, and thus to all lattices G Pnx1,...,xk. The lattice G Pnx1,...,xk is the Post algebra of all k-variable functions defined on the Post chain Pn. Several theorems are also presented, characterizing the equivalence classes of this relation and generalizing results of DuCasse and Metze. Author

Descriptors:

• *ALGEBRA
• THEOREMS
• MATHEMATICAL LOGIC
• DIGITAL SYSTEMS

Subject Categories:

• Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE