Introduction to Mathematical Logic and Resolution Principle
- ISBN-10
- 1842655663
- ISBN-13
- 9781842655665
- Category
- Mathematics
- Pages
- 335
- Language
- English
- Published
- 2009
- Publisher
- Alpha Science International Limited
- Authors
- Guo-Jun Wang, Hong-Jun Zhou
Description
Introduction to Mathematical Logic Resolution Principle, Second Edition, in nine chapters, discusses Boolean algebra theory, propositional calculus and predicated calculus theory, resolution principle theory and the latest theory of multivalue logic. The book also includes supplement or alternations on the proof of the completion of K in first-order system, concerning "Quantitative Logic".
Get the book
Similar books
-
Introduction to Mathematical Logic
By Elliot MendelsohnThis is a compact mtroduction to some of the pnncipal tOpICS of mathematical logic .
-
A Concise Introduction to Mathematical Logic
By Wolfgang RautenbergThis book treats the most important material in a concise and streamlined fashion. The third edition is a thorough and expanded revision of the former.
-
Introduction to Mathematical Logic
By Elliott Mendelson(1941) The Tw-Valued Iterative Systems of Mathematical Logic, Princeton University Press. (1943) Formal reductions of the ... J.A. (1965) A machine-oriented logic based on the resolution principle, J. Assoc. Comp. Mach., 12, 23–41.
-
Symbolic Logic and Mechanical Theorem Proving
By Chin-Liang Chang, Richard Char-Tung LeeAnderson, R., and Bledsoe, W. W. (1970): A linear format for resolution with merging and a new technique for establishing completeness, J. ACM 17, No. 3, 525–534. Andrews, P. B. (1965): “A Transfinite Type Theory with Type Variables.
-
A Concise Introduction to Mathematical Logic
By Wolfgang RautenbergWhile there are already several well known textbooks on mathematical logic this book is unique in treating the material in a concise and streamlined fashion.
-
Introduction to Mathematical Logic, Fourth Edition
By Elliott MendelsonRobinson , J.A. ( 1965 ) A machine - oriented logic based on the resolution principle , J. Assoc . Comp . Mach . , 12 , 23-41 . Robinson , Julia . ( 1949 ) Definability and decision problems in arithmetic , JSL , 14 , 98-114 .
-
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
By Peter B. AndrewsIn case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information.
-
Dao Companion to Chinese Philosophy of Logic
By Yiu-ming FungNon-classical Mathematical Logic and Approximate Reasoning非经典逻辑与近似推理. Beijing: Science Press. Wang, Guojun 王国俊. 2003. Introduction to Mathematical Logic and Resolution Principle数理逻辑引论与归结原理.
-
Hybrid Artificial Intelligent Systems, Part II: 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings
By Manuel Grana Romay, Emilio Corchado, Alexandre Manhaes SavioThis book constitutes the proceedings of the 5th International Conference on Hybrid Artificial Intelligent Systems, held in San Sebastian, Spain, in June 2010.
-
A Mathematical Introduction to Logic
By Herbert Enderton, Herbert B. EndertonA Mathematical Introduction to Logic