Overview

Full Product Details

Author:   Jean Goubault-Larrecq ,  I. Mackie
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of the original 1st ed. 1997
Volume:   6
Dimensions:   Width: 15.50cm , Height: 2.20cm , Length: 23.50cm
Weight:   1.370kg
ISBN:  

9781402003684

ISBN 10:   1402003684
Pages:   444
Publication Date:   30 November 2001
Audience:   General/trade ,  General
Format:   Paperback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

1 Introduction.- 1 Overview.- 2 Classical Propositional Logic.- 1 Syntax.- 2 Semantics.- 3 Deduction Systems.- 4 Automated Proof Methods.- 5 Digressions.- 3 Other Propositional Logics.- 1 Introduction.- 2 Intuitionistic Logic.- 3 Normalisation and Cut Elimination.- 4 Semantics of Intuitionistic Logic.- 5 Relating Intuitionistic and Classical Logic.- 6 Additive and Multiplicative Connectives.- 7 Linear Logic.- 4 The Curry-Howard Correspondence.- 1 Introduction.- 2 Typed ?-Calculus and Natural Deduction.- 3 Combinatory Logic and Hilbert-Style Axioms.- 4 Applications of the Curry-Howard Correspondence.- 5 Modal and Temporal Logics.- 1 Introduction and Motivation.- 2 S4 and Non-Monotonic Logics.- 3 Other Modal Logics of Interest in Computer Science.- 4 Model-Checking.- 6 First-Order Classical Logic.- 1 Definitions.- 2 Semantics.- 3 Deduction Systems.- 4 Expressive Power.- 5 Meta-Mathematical Properties.- 6 Digressions.- 7 Resolution.- 1 Fundamental Ideas.- 2 Unification.- 3 Resolution.- 4 Optimisations.- 5 Resolution as Cut-Only Proofs.- 8 Tableaux, Connections and Matings.- 1 First-Order Tableaux.- 2 Free Variable Tableaux.- 3 Connections, Matings and Model Elimination.- 9 Incorporating Knowledge.- 1 Motivations.- 2 Equality and Rewriting.- 3 Equational Theories.- 4 Other Theories.- 10 Logic Programming Languages.- 1 Introduction.- 2 Prolog.- 3 Constraints.- 4 Parallelism.- Appendix A Answers to Exercises.- Appendix B Basics of Topology.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions