Application of Wu′s Method in Propositional Calculus(Chinese)

Journal of East China Normal University(Natural Sc ›› 2006, Vol. 2006 ›› Issue (1): 80-86.

• Article • Previous Articles Next Articles

Application of Wu′s Method in Propositional Calculus(Chinese)

LI Jing, YANG Zong-yuan

Department of Computer Science, East China Normal University, Shanghai 200062, China

Received:2005-01-12 Revised:2005-08-10 Online:2006-01-25 Published:2006-01-25
Contact: LI Jing

Abstract

Abstract:

A formal definition of proposition formulae was provided by context-free grammar,and the conversion from proposition formulae to polynomials was solved automatically. Using Wu′s Method, the paper presented another solution to the problem of theorem reasoning. In addition, a method for producing logical deduction was introduced.

Key words: propositional calculus, context-free grammar, theorem reasoning, logical deduction, Wu′s Method, propositional calculus, context-free grammar, theorem reasoning, logical deduction

CLC Number:

TP301

LI Jing;YANG Zong-yuan. Application of Wu′s Method in Propositional Calculus(Chinese)[J]. Journal of East China Normal University(Natural Sc, 2006, 2006(1): 80-86.

[1]	LIU Heng-yu, ZHANG Tian-cheng, WU Pei-wen, YU Ge. A review of knowledge tracking [J]. Journal of East China Normal University(Natural Sc, 2019, 2019(5): 1-15.
[2]	YANG Dong-ming, YANG Da-wei, GU Hang, HONG Dao-cheng, GAO Ming, WANG Ye. Research on knowledge point relationship extraction for elementary mathematics [J]. Journal of East China Normal University(Natural Sc, 2019, 2019(5): 53-65.
[3]	ZHANG Qiang, WANG Mei. Multi-strategy gravitational search algorithm based on dynamic grouping [J]. Journal of East China Normal University(Natural Sc, 2019, 2019(1): 66-75.
[4]	ZHANG Qiang, WANG Mei. Adaptive grouping difference variation wolf pack algorithm [J]. Journal of East China Normal University(Natural Sc, 2017, (3): 78-86.
[5]	WEI Shen,SUN Guang-zhong,XIE Xing. Dynamic trajectory anonymization in location based services [J]. Journal of East China Normal University(Natural Sc, 2015, 2015(5): 104-115.
[6]	CHE Tian-Wei, MA Jian-Feng, WANG Chao, LI Na. A quantitative analysis technique for multi-classes access control model based on security entropy [J]. Journal of East China Normal University(Natural Sc, 2015, 2015(1): 172-177.
[7]	PAN Wei, LI Zhan-Huai. Development of parallel computing models in the big data era [J]. Journal of East China Normal University(Natural Sc, 2014, 2014(5): 43-54.
[8]	CHAO Ping-Fu, ZHENG Zhi-Ling, FANG Jun-Hua, ZHANG Rong. Distributed computing system for communication data management [J]. Journal of East China Normal University(Natural Sc, 2014, 2014(5): 89-102.
[9]	ZHANG Lei, FANG Zhu-He, ZHOU Min-Qi, HUANG Lan. Join algorithms towards inmemory computing [J]. Journal of East China Normal University(Natural Sc, 2014, 2014(5): 180-191.
[10]	ZHANG Lei, ZHOU Min-Qi, WANG Li. LCDJ: Locality conscious join algorithm for in-memory cluster computing [J]. Journal of East China Normal University(Natural Sc, 2014, 2014(5): 228-239.
[11]	GAO Yichen, ZHAO Bin, ZHANG Zhao. Research and implementation of a smart automatic contract generation method for Ethereum [J]. Journal of East China Normal University(Natural Science), 2020, 2020(5): 21-32.
[12]	LIU Feng, YANG Jie, LI Zhibin, QI Jiayin. Research on an endogenous data interaction protocol for the dual-middle platform and dual-chain architecture [J]. Journal of East China Normal University(Natural Science), 2020, 2020(5): 44-55.
[13]	YAO Ruoxia, XUE Dan, XIE Juanying, FAN Hong. Study of an improved hybrid particle swarm optimization algorithm for solving 0-1 knapsack problems [J]. Journal of East China Normal University(Natural Science), 2020, 2020(6): 90-98.

Application of Wu′s Method in Propositional Calculus(Chinese)

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 13

Recommended Articles

Metrics

Comments