期刊文献+

一阶自由变元tableau实现过程分析

下载PDF
导出
摘要 基于M.C.Fitting研究基础通过改进对应的算法,来进行算法的正确性评估,最后基于实验基础上进一步验证了系统的可靠性,得出优化后的系统算法具有较高的适用性和价值。 Based on the research of m.c.fitting,this paper evaluates the correctness of the algorithm by improving the corresponding algorithm.Finally,the reliability of the system is further verified on the basis of experiments.It is concluded that the optimized system algorithm has high applicability and value.
作者 杨杰
出处 《科学技术创新》 2020年第32期99-100,共2页 Scientific and Technological Innovation
关键词 TABLEAU 一阶逻辑 算法 Tableau First order logic Algorithm
  • 相关文献

参考文献3

二级参考文献29

  • 1王国俊,秦晓燕,周湘南.一类二值谓词逻辑中公式的准真度理论[J].陕西师范大学学报(自然科学版),2005,33(1):1-6. 被引量:23
  • 2[1] LEACH P G L, BOUQUET S, DEWISME A. Symmetries of hamiltonian one-dimensional systems [J]. Int. J. Non-Linear Mechanics, 1993, 28(6): 705-712.
  • 3[2] KARA A H, MAHOMED F M. A note on the solutions of the Emden-Fowler equation [J]. Int. J. Non-Linear Mechanics, 1993, 28(4): 379-384.
  • 4[3] VELAN M S, LAKSHMANAN M. Lie symmetries and invariant solutions of the shallow-water equation [J]. Int. J. Non-Linear Mechanics, 1996, 31(3): 339-344.
  • 5[4] TENENBLAT J K, WINTERNITZ P. On the symmetry groups of the intrinsic generalized wave and sine-Gordon equations [J]. J. Math. Phys, 1993, 34(8): 3527-3542.
  • 6[5] BLUMAN G W, KUMEI S. Symmetries and Differential Equations [M]. Springer, New York, 1989.
  • 7[6] OLVER P J. Applications of Lie Groups to Differential Equations [M]. Springer, New York, 1986.
  • 8[7] VUJANOVIC B D. Conservation laws and reduction to quadratures of the generalized time-dependent Duffing equation [J]. Int. J. Non-Linear Mechanics, 1992, 30(6): 783-792.
  • 9Gabbay and Guenthner,Handbook of Philosophical Logic,2nd Edition,Kluwer Academic Publishers,2001,Vol 4.pp.99 ~ 102,p.3.
  • 10Harel,Dynamic Logic,MIT Press,Cambridge,MA,2000.

共引文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部