On Basic Groups and Basic Semi-groups in Partial Multiple-Valued Logic
Liu Ren-ren · 2007
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.