Tell your friends about this item:
The Logic of Partial Information - Monographs in Theoretical Computer Science. An EATCS Series Areski Nait Abdallah Softcover reprint of the original 1st ed. 1995 edition
The Logic of Partial Information - Monographs in Theoretical Computer Science. An EATCS Series
Areski Nait Abdallah
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.
715 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | December 30, 2011 |
| ISBN13 | 9783642781629 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 715 |
| Dimensions | 155 × 235 × 37 mm · 1.03 kg |
| Language | English |