|
Organizers |
A Criterion for partial Sheffer functions in 4-valued logic
by
Karsten Schölzel
University of Rostock, Germany
The Haddad-Rosenberg Theorem yields a description of the maximal partial clones in multi-valued logic. Specifically it was shown that there are 1102 maximal partial clones in 4-valued logic. We give a criterion for partial Sheffer functions using 449 partial maximal clones. These are uniquely determined and there exists no Sheffer criterion which uses less than 449 maximal partial clones.
Date received: April 16, 2008
Copyright © 2008 by the author(s). The author(s) of this document and the organizers of the conference have granted their consent to include this abstract in Atlas Conferences Inc. Document # cawc-29.