【多值逻辑理论及应用研究罗铸楷教授文集】罗铸楷.pdf
多值逻辑理论及应用研究 罗铸楷教授文集 湖南长沙。
序 罗铸楷教授1934年出生于四川省峨眉山市。1959年 吉林大学研究生毕业,师从已故中国科学院学部委员王 湘浩教授。现任湘潭大学信息工程学院教授,中国计算 机学会多值逻辑专业委员会副主任,多值逻辑理论学组 组长,曾受聘担任广东暨南大学和重庆大学兼职教授.罗教授从1960年起从事多值逻辑的理论研究,至今 已有40多年,造诣精深,解决了多值逻辑函数结构理论中 三个著名困难问题的前两个问题,并对第三个困难问题 作了新的推进,系统地建立了多值逻辑函数的完备性理 论。
行了长期不懈的研究,取得了一系列重要而深入的成果.首次提出了准完备集之间“相似关系”的概念,并利用此 概念简捷地定出了部分三值、四值逻辑函数中准完备集 之最小覆盖,对四值以上多值逻辑中的Sheffer函数之判 定也取得了一些新的研究成果,引起国内外同行的重视,先后有匈牙利、法国、埃及和国内同行来信索取论文.1999年刘任任教授被选为IEEE计算机学会多值逻辑技 术委员会委员.一元多值逻辑函数完备性之判定问题,依赖于定出k 次对称群中的所有极大子群,但在有限群论中此是一个 古老的困难问题。