MVLSC HomeIssue Contents

A Sheffer-Criterion for Partial 4-Valued Logic
Karsten Schölzel

We determine the minimal covering of maximal partial clones in 4-valued logic. That means a necessary and sufficient condition for partial Sheffer functions in 4-valued logic in terms of the maximal partial clones is established. Furthermore several statements about members of the minimal covering of the maximal partial clones for any finite-valued logic are established.

Keywords: partial functions; partial Sheffer functions; maximal clones; minimal covering

Full Text (IP)