References of "Proceedings of The International Symposium on Multiple-Valued Logic"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailNumber of maximal partial clones
Schölzel, Karsten UL

in Proceedings of The International Symposium on Multiple-Valued Logic (2010)

All maximal partial clones on 4-element, 5-element, and 6-element sets have been found and are compared to the case of maximal clones of all total functions. Due to the large numbers of maximal partial ... [more ▼]

All maximal partial clones on 4-element, 5-element, and 6-element sets have been found and are compared to the case of maximal clones of all total functions. Due to the large numbers of maximal partial clones other criteria to check for generating systems of all partial functions are analyzed. [less ▲]

Detailed reference viewed: 69 (0 UL)
Full Text
Peer Reviewed
See detailA classification of partial Boolean clones
Lau, Dietlinde; Schölzel, Karsten UL

in Proceedings of The International Symposium on Multiple-Valued Logic (2010)

We study intervals I(A) of partial clones whose total functions constitute a (total) clone A. In the Boolean case, we provide a complete classification of such intervals (according to whether the interval ... [more ▼]

We study intervals I(A) of partial clones whose total functions constitute a (total) clone A. In the Boolean case, we provide a complete classification of such intervals (according to whether the interval is finite or infinite), and determine the size of each finite interval I(A). [less ▲]

Detailed reference viewed: 80 (0 UL)
Full Text
Peer Reviewed
See detailThe minimal covering of maximal partial clones in 4-valued logic
Schölzel, Karsten UL

in Proceedings of The International Symposium on Multiple-Valued Logic (2009)

A partial function f on a κ-element set Eκ is a partial Sheffer function if every partial function on Eκ is definable in terms of f. Since this holds if and only if f belongs to no maximal partial clone ... [more ▼]

A partial function f on a κ-element set Eκ is a partial Sheffer function if every partial function on Eκ is definable in terms of f. Since this holds if and only if f belongs to no maximal partial clone on Eκ, a characterization of partial Sheffer functions reduces to finding families of minimal coverings of maximal partial clones on Eκ. It is shown that. [less ▲]

Detailed reference viewed: 83 (1 UL)
Full Text
Peer Reviewed
See detailMinimal coverings of maximal partial clones
Schölzel, Karsten UL

in Proceedings of The International Symposium on Multiple-Valued Logic (2009)

A partial function f on a κ-element set Eκ is a partial Sheffer function if every partial function on Eκ is definable in terms of f. Since this holds if and only if f belongs to no maximal partial clone ... [more ▼]

A partial function f on a κ-element set Eκ is a partial Sheffer function if every partial function on Eκ is definable in terms of f. Since this holds if and only if f belongs to no maximal partial clone on Eκ, a characterization of partial Sheffer functions reduces to finding families of minimal coverings of maximal partial clones on Eκ. We show that for each κ ≥ 3 there exists a unique minimal covering. [less ▲]

Detailed reference viewed: 68 (0 UL)