Introduction to Mathematical Logic and Resolution Principle , Second Edition
Author(s): Guo-Jun Wang, Hong-Jun Zhou
ISBN: 978-1-84265-566-5
E-ISBN: Publication Year: 2010
Pages: 346
Binding: Hard Back Dimension: 160mm x 240mm Weight: 650
Textbook
About the book
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”.
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.
Audience
Postgraduate Students, Researchers and Teachers in Computer Science, Applied Mathematics
and Artificial Intelligence
