Introduction to Mathematical Logic and Resolution Principle - Hardcover

Wang, Guo-Jun; Zhou, Hong-Jun

 
9781842655665: Introduction to Mathematical Logic and Resolution Principle
Hardcover
ISBN 10: 1842655663 ISBN 13: 9781842655665
Publisher: Alpha Science, 2010

Synopsis

The second edition of Introduction to Mathematical Logic and Resolution Principle 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.

Table of Contents

• Preface
• Preliminaries
• Propositional Calculus
• Semantics of First Order Predicate Calculus
• Syntax of First Order Predicate calculus
• Skolem's Standard Forms and Herbrand's Theorems
• Resolution Principle
• Refinements of Resolution
• Many-Valued Logic Calculi
• Quantitative Logic
• Bibliography
• Index.

"synopsis" may belong to another edition of this title.

About the Author

Guo-Jun Wang / Hong-Jun Zhou

"About this title" may belong to another edition of this title.

Publisher
Alpha Science
Publication date
2010
Language
English
ISBN 10 
1842655663
ISBN 13 
9781842655665
Binding
Hardcover
Edition number
2
Number of pages
346