Skip to main content
SpringerLink
Log in
Book cover

The Logic of Partial Information

  • Book
  • © 1995

Overview

Authors:
  1. Areski Nait Abdallah

    1. Middlesex College, Department of Computer Science, University of Western Ontario, London, Canada

    View author publications

    You can also search for this author in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (22 chapters)

  1. Front Matter

    Pages I-XXV
    Download chapter PDF

  2. Introduction

    • Areski Nait Abdallah
    Pages 1-20

  3. Partial Propositional Logic

    • Areski Nait Abdallah
    Pages 21-55

  4. Syntax of the Language of Partial Information Ions

    • Areski Nait Abdallah
    Pages 56-66

  5. Reasoning with Partial Information Ions: An Overview

    • Areski Nait Abdallah
    Pages 67-102

  6. Semantics of Partial Information Logic of Rank 1

    • Areski Nait Abdallah
    Pages 103-157

  7. Semantics of Partial Information Logic of Infinite Rank

    • Areski Nait Abdallah
    Pages 158-171

  8. Algebraic Properties of Partial Information Ionic Logic

    • Areski Nait Abdallah
    Pages 172-216

  9. Beth Tableaux for Propositional Partial Information Ionic Logic

    • Areski Nait Abdallah
    Pages 217-262

  10. Applications; the Statics of Logic Systems

    • Areski Nait Abdallah
    Pages 263-304

  11. Naive Axiomatics and Proof Theory of Propositional Partial Information Ionic Logic

    • Areski Nait Abdallah
    Pages 305-355

  12. Soundness of Propositional Partial Information Ionic Logic

    • Areski Nait Abdallah
    Pages 356-365

  13. Formal Axiomatics of Propositional Partial Information Ionic Logic

    • Areski Nait Abdallah
    Pages 366-388

  14. Extension and Justification Closure Approach to Partial Information Ionic Logic

    • Areski Nait Abdallah
    Pages 389-424

  15. Partial First-Order Logic

    • Areski Nait Abdallah
    Pages 425-452

  16. Syntax and Semantics of First-Order Partial Information Ions

    • Areski Nait Abdallah
    Pages 453-465

  17. Beth Tableaux for First-Order Partial Information Ions

    • Areski Nait Abdallah
    Pages 466-499

  18. Axiomatics and Proof Theory of First-Order Partial Information Ionic Logic

    • Areski Nait Abdallah
    Pages 500-505

  19. Partial Information Ionic Logic Programming

    • Areski Nait Abdallah
    Pages 506-536

  20. Syntactic and Semantic Paths; Application to Defeasible Inheritance

    • Areski Nait Abdallah
    Pages 537-561
Back to top

Keywords

About this book

One must be able to say at all times - in­ stead of points, straight lines, and planes - tables, chairs and beer mugs. (David Hilbert) One service mathematics has rendered the human race. It has put common sense back where it belongs, on the topmost shelf next to the dusty canister labelled "discarded nonsense. " (Eric T. Bell) This book discusses reasoning with partial information. We investigate the proof theory, the model theory and some applications of reasoning with par­ tial information. We have as a goal a general theory for combining, in a principled way, logic formulae expressing partial information, and a logical tool for choosing among them for application and implementation purposes. We also would like to have a model theory for reasoning with partial infor­ mation that is a simple generalization of the usual Tarskian semantics for classical logic. We show the need to go beyond the view of logic as a geometry of static truths, and to see logic, both at the proof-theoretic and at the model-theoretic level, as a dynamics of processes. We see the dynamics of logic processes bear with classical logic, the same relation as the one existing between classical mechanics and Euclidean geometry.

Authors and Affiliations

  • Middlesex College, Department of Computer Science, University of Western Ontario, London, Canada

    Areski Nait Abdallah

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation