Referenced Items are not available for this document.
For a given finite Boolean algebra with r(r⩾2) atoms we consider the set BF(r) of all polynomials produced by superpositions of the main operations and r atomic constants. Using the isomorphism between BF(r) and P, the arity-calibrated product of r two-valued logic algebras P2, and also the description of all maximal subalgebras of P2r, we establish a general completeness criterion in BF(r), a Sheffer criterion for a single Boolean function to be a generating element in BF(r), and Slupecki type criterion in BF(r) as well
Published in:
Multiple-Valued Logic, 1996. Proceedings., 26th International Symposium on
Date of Conference: 29-31 May 1996
- Page(s):
- 262 - 266
- Meeting Date :
- 29 May 1996-31 May 1996
- ISSN :
- 0195-623X
- Print ISBN:
- 0-8186-7392-3
- INSPEC Accession Number:
- 5323562
- Conference Location :
- Santiago de Compostela
- Digital Object Identifier :
- 10.1109/ISMVL.1996.508377
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
