Sold Out
Book Categories |
Preface
Introduction
I Propositional Logic
1 Orders and Trees
2 Propositions, Connectives and Truth Tables
3 Truth Assignments and Valuations
4 Tableau Proofs in Propositional Calculus
5 Soundness and Completeness of Tableau Proofs
6 Deductions from Premises and Compactness
7 An Axiomatic Approach;
8 Resolution
9 Refining Resolution
10 Linear Resolution, Horn Clauses and PROLOG
II Predicate Logic
1 Predicates and Quantifiers
2 The Language: Terms and Formulas
3 Formation Trees, Structures and Lists
4 Semantics: Meaning and Truth
5 Interpretations of PROLOG Programs
6 Proofs: Complete Systematic Tableaux
7 Soundness and Completeness of Tableau Proofs
8 An Axiomatic Approach*
9 Prenex Normal Form and Skolemization
10 Herbrand's Theorem
11 Unification
12 The Unification Algorithm
13 Resolution
14 Refining Resolution: Linear Resolution
III PROLOG
1 SLD‐Resolution
2 Implementations: Searching and Backtracking
3 Controlling the Implementation: Cut
4 Termination Conditions for PROLOG Programs
5 Equality
6 Negation as Failure
7 Negation and Nonmonotonic Logic
8 Computability and Undecidability
IV Modal Logic
1 Possibility and Necessity; Knowledge or Belief
2 Frames and Forcing
3 Modal Tableaux
4 Soundness and Completeness
5 Modal Axioms and Special Accessibility Relations
6 An Axiomatic Approach*
V Intuitionistic Logic
1 Intuitionism and Constructivism
2 Frames and Forcing
3 Intuitionistic Tableaux
4 Soundness and Completeness
5 Decidability and Undecidability
6 A Comparative Guide
VI Elements of Set Theory
1 Some Basic Axioms of SetTheory
2 Boole's Algebra of Sets
3 Relations, Functions and the Power Set Axiom
4 The Natural Numbers, Arithmetic and Infinity
5 Replacement, Choice and Foundation
6 Zermelo–Fraenkel Set Theory in Predicate Logic
7 Cardinality: Finite and Countable
8 Ordinal Numbers
9 Ordinal Arithmetic and Transfinite Induction
10 Transfinite Recursion, Choice and the Ranked Universe
11 Cardinals and Cardinal Arithmetic
Appendix A: An Historical Overview
1 Calculus
2 Logic
3 Leibniz's Dream
4 Nineteenth Century Logic
5 Nineteenth Century Foundations of Mathematics
6 Twentieth Century Foundations of Mathematics
7 Early Twentieth Century Logic
8 Deduction and Computation
9 Recent Automation of Logic and PROLOG
10 The Future
Appendix B: A Genealogical Database
Bibliography
Index of Symbols
Index of Terms
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionLogic For Applications
X
This Item is in Your InventoryLogic For Applications
X
You must be logged in to review the productsX
X
X
Add Logic For Applications, This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction as a form of computation. It can be used to teach classical, modal, and intuitistic predicate logic. It also presents the logical and mathematical foundat, Logic For Applications to the inventory that you are selling on WonderClubX
X
Add Logic For Applications, This book is a rigorous introduction to classical and nonclassical logics which emphasizes deduction as a form of computation. It can be used to teach classical, modal, and intuitistic predicate logic. It also presents the logical and mathematical foundat, Logic For Applications to your collection on WonderClub |