Affiliation:
1. Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1, Canada
Abstract
A ternary algebra is a De Morgan algebra (that is, a distributive lattice with 0 and 1 and a complement operation that satisfies De Morgan's laws) with an additional constant Φ satisfying [Formula: see text], [Formula: see text], and [Formula: see text]. We provide a characterization of finite ternary algebras in terms of "subset-pair algebras," whose elements are pairs (X, Y) of subsets of a given base set ℰ, which have the property X ∪ Y = ℰ, and whose operations are based on common set operations.
Publisher
World Scientific Pub Co Pte Lt
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献