DocumentCode :
2993934
Title :
Semirigidity problems in k-valued logic
Author :
Miyakawa, Masahiro
Author_Institution :
Tsukuba Coll. of Technol., Japan
fYear :
1999
fDate :
1999
Firstpage :
256
Lastpage :
260
Abstract :
The study of semirigid sets arose from the classification of bases. In this complex problem-fully solved only for |A|=2, 3-one of the task is to find all minimal nontrivial intersections of systems of maximal clones. Most of the clones are determined by reflexive relations (binary or of higher arities) and so we need to determine subsets R of these relations such that every function preserving all relations in R is either constant or is a projection. In this paper we give a short overview of this problem for 1) isotone relations, 2) central relations and 3) quasi-linear relations. Finally we add some new results for 4) autodual clones
Keywords :
multivalued logic; central relations; isotone relations; k-valued logic; quasi-linear relations; semirigid sets; Algebra; Artificial intelligence; Bismuth; Boolean functions; Character generation; Cloning; Data structures; Gold; Lattices; Logic;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic, 1999. Proceedings. 1999 29th IEEE International Symposium on
Conference_Location :
Freiburg
ISSN :
0195-623X
Print_ISBN :
0-7695-0161-3
Type :
conf
DOI :
10.1109/ISMVL.1999.779725
Filename :
779725
Link To Document :
بازگشت