2) linear μ-calculus
线性μ-演算
1.
Oriented to linear μ-calculus, its decidability and complexity is discussed.
讨论了线性μ-演算交换深度的可判定性以及求解复杂度。
3) μ-calculus
μ-演算
1.
Blocked Calculation Algorithm with Nesting Fixed-point Expression for μ-calculus;
μ-演算嵌套不动点表达式分块计算算法
2.
For example, MSOL, QTL, or linearμ-calculus.
这类时序逻辑诸如MSOL、QTL、线性μ-演算等。
5) predicate μ-calculus
谓词μ-演算
6) hybrid μ-calculus
混合μ-演算
1.
Based on hybrid μ-calculus,description logic μALCIO which may include terminlolgical cycles is presented,and μALCIO is derived form description logic ALCIO which includes nominal constructors by adding least and greatest fixpoint constructors.
分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一种允许包含循环术语集的描述逻辑μALCIO。
补充资料：直觉主义命题演算
直觉主义命题演算
intuitionistic proposidonal calculus
直觉主义命题演算【枷面位扣妇比p柳俪柱翻目。日回谓;HHI了加”HOHHc代Koe Hc，“c月eHlfe服cKa3u.aHH益』 一个描述从直觉主义(int山tion巧〔n)观点来看有效的命题推演法则的逻辑演算(10乡cai calc山aS).一个被广泛接受的直觉主义命题演算的陈述是由A .Heyting在1930年给出的.它和经典命题演算的基本不同之处在于用较弱的矛盾原理(con匕记iction prmc币le) A。(二A OB)取代排中律(hw of the excl团司m记die)(或双否定律(Iaw of double ne即tion)). 直觉主义命题演算的一个一般变异形式可陈述如下.设A，B，C是所考虑的语言中的任意公式.演算的公理是下列公式: 1 .A。(B OA); 2.(A OB)。((A。(B OC))。(A“C));3 .A。(B“A八B); 4 .A八B习A; 5 .A八B OB; 6 .A 0 A VB; 7 .B二A VB; 8.(A OC)。((B OC)。(AVBOC)); 9.(A OB)。((A。，B)。二A); 10 .A。(二A)〕B). 直觉主义命题演算的仅有的推理法则是假言推理法则(浏e of medus po~):若A和A。万可被推演出，则B可被推演出. 由直觉主义观点来看，这个演算的每个可被推演出公式都是有效的;上述演算的完全性问题是更精细的.直觉主义命题演算关于代数语义，心pke模型和玫山模型是完全的，但是关于K】eene的递归可实现性(rec此ive real凶bility)解释是不完全的;亦见构造命题演算(constructive propositjonal calculas). 关于参考文献，见直觉主义(izltuilio油m). A.G.D扮助lin撰杨东屏译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条