Monographs in Theoretical Computer Science. An EATCS Series

The Logic of Partial Information

Authors: Nait Abdallah, Areski

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-78160-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-642-78162-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (22 chapters)

  • Introduction

    Abdallah, Areski Nait

    Pages 1-20

  • Partial Propositional Logic

    Abdallah, Areski Nait

    Pages 21-55

  • Syntax of the Language of Partial Information Ions

    Abdallah, Areski Nait

    Pages 56-66

  • Reasoning with Partial Information Ions: An Overview

    Abdallah, Areski Nait

    Pages 67-102

  • Semantics of Partial Information Logic of Rank 1

    Abdallah, Areski Nait

    Pages 103-157

Buy this book

eBook $109.00
price for USA (gross)
  • ISBN 978-3-642-78160-5
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $149.00
price for USA
  • ISBN 978-3-642-78162-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The Logic of Partial Information
Authors
Series Title
Monographs in Theoretical Computer Science. An EATCS Series
Copyright
1995
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-78160-5
DOI
10.1007/978-3-642-78160-5
Softcover ISBN
978-3-642-78162-9
Series ISSN
1431-2654
Edition Number
1
Number of Pages
XXV, 715
Topics