单体二阶逻辑相关硕士博士期刊学术论文

引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Buchi-Elgot基本定理.通......