Title :
On Basic Groups and Basic Semi-groups in Partial Multiple-Valued Logic
Author_Institution :
Xiangtan Univ., Xiangtan
Abstract :
In this paper, the decision problem of basic groups and basic semi-groups in partial multiple-valued logic is solved; meanwhile, it is proved that the pre-complete classes which include non-trivial unary semi-group are fully determined by singular semi-group.
Keywords :
formal logic; decision problem; nontrivial unary semigroup; partial multiple-valued logic basic groups; partial multiple-valued logic basic semigroups; pre-complete classes; singular semigroup; Educational institutions; Logic functions; Tellurium;
Conference_Titel :
Fuzzy Systems and Knowledge Discovery, 2007. FSKD 2007. Fourth International Conference on
Conference_Location :
Haikou
Print_ISBN :
978-0-7695-2874-8
DOI :
10.1109/FSKD.2007.425
