Fagin R,Halpern J Y,Moses Y,et al.Reasoning about Knowledge[M].Cambridge：the MIT Press,1995.
[2]
Clarke E M,Grumberg O,Peled D A.Model Checking[M].Cambridge：The MIT Press,1999.
[3]
Bruin B D.Overmathematisation in game theory:Pitting the Nash equilibrium refinement programme against the epistemic programme[J].Studiesin History and Philosophy of Science (Part A),2009,40(3):290-300.
Gottwald S,Novak V. On the consistency of fuzzy theories[A].Proceedings of the Seventh IFSA World Congress[C].Prague,Czech Republic,1997.168-171.
[6]
Novak V,Perfilieva I,Mockor J.Mathematical Principles of Fuzzy Logic[M].Boston:Kluwer Academic Publishers,1999.
[7]
Zhou H J,Wang G J.Generalized consistency degrees of theories w r t formulas in several standard complete logic systems[J].Fuzzy Sets and Systems,2006,157(15):2058-2073.
[8]
王国俊.一类一阶逻辑公式中的公理化真度理论及其应用[J].中国科学信息科学,2012,42(5):648-662. Wang Guojun.Axiomatic theory of truth degree for a class of first-order formulas and its application[J].Scientia Sinica Informationis,2012,45(5):648-662.(in Chinese)
[9]
王国俊,王伟,宋建社.命题逻辑中极大和谐理论之集上的拓扑与Cantor三分集[J].陕西师范大学学报(自然科学版),2007,35(2):1-5. Wang Guojun,Wang Wei,Song Jianshe.Topology on the set of maximal consistent propositional theories and the Cantor ternary set[J].Journal of Shaanxi Normal University (Natural Science Edition),2007,35(2):1-5.(in Chinese)
[10]
Blackburn P,Rijke M,Venema Y.Modal Logic[M].Oxford :Cambridge University Press,2001.1-50.
[11]
Hughes G E,Cresswell M J.A New Introduction to Modal Logic[M].London:Routledge Press,1996.19-46.
[12]
王国俊.非经典数理逻辑与近似推理(第二版)[M].北京:科学出版社,2007.
[13]
Benalycherif L,McIsaac A.A semantic condition for data independence and applications in hardware verification[J].Electronic Notes in Theoretical Computer Science,2009,250(1):39-54.
[14]
周红军,王国俊.系统L*中极大相容理论的结构刻画和紧致性定理[J].模糊系统与数学,2008,22(4):8-14. Zhou Hongjun,Wang Guojun.Structure characterizations of maximal consistent theories over L* and compactness theorem[J].Fuzzy Systems and Mathematics,2008,22(4):8-14.(in Chinese)
[15]
Zhou H J,Wang G J.Characterizations of maximal consistent theories in the formal deductive system L* (NM-logic) and Cantor Space[J].Fuzzy Sets and System,2007,158(23):2591-2604.
[16]
Zhou H J,Wang G J.Three and two-valued Lukasiewicz theories in the formal deductive system L*(NM-logic)[J].Fuzzy Sets and System,2008,159(23):2971- 2982.
