- Description
- Contents
- Details
- Review
- The
author
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.
CONTENTS
Chapter 1 Preliminaries
1.1 Partially ordered sets
1.2 Lattices
1.3 Boolean algebras
Chapter 2 Propositional Calculus
2.1 Propositions and their symbolization
2.2 Semantics of propositional calculus
2.3 Syntax of propositional calculus
Chapter 3 Semantics of First Order Predicate Calculus
3.1 First order languages
3.2 Interpretations and logically valid formulas
3.3 Logical equivalences
Chapter 4 Syntax of First Order Predicate Calculus
Chapter 5 Skolem's Standerd Forms and Herbrand's Theorems
Chapter 6 Resolution Principle
Chapter 7 Refinements of Resolution
Chapter 8 Many-Valued Logic Calculi
Chapter 9 Quantitative Logic
No Contents
No Contents
No Contents
|