Reference : A Sheffer-criterion for partial 4-valued logic
Scientific journals : Article
Physical, chemical, mathematical & earth Sciences : Mathematics
http://hdl.handle.net/10993/11406
A Sheffer-criterion for partial 4-valued logic
English
Schölzel, Karsten mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit >]
2012
Journal of Multiple-Valued Logic & Soft Computing
18
2
167-199
Yes (verified by ORBilu)
International
1542-3980
[en] Maximal clones ; Minimal covering ; Partial functions ; Partial Sheffer functions ; Partial clones ; Sheffer function ; Sufficient conditions ; Formal logic ; Software engineering
[en] 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.
http://hdl.handle.net/10993/11406

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
mincov4.pdfAuthor postprint335.33 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.