Implementing mathematics with the Nuprl proof development system
Implementing mathematics with the Nuprl proof development system
Theoretical Computer Science
Information and Computation - Semantics of Data Types
Formal methods in artificial intelligence
Formal methods in artificial intelligence
Proofs and types
A formulae-as-type notion of control
POPL '90 Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On the expressive power of programming languages
ESOP '90 Selected papers from the symposium on 3rd European symposium on programming
Type-logical semantics
Logic in computer science: modelling and reasoning about systems
Logic in computer science: modelling and reasoning about systems
Model checking
Reasoning about Uncertainty
Locus Solum: From the rules of logic to the logic of rules
Mathematical Structures in Computer Science
TINLAP '78 Proceedings of the 1978 workshop on Theoretical issues in natural language processing
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
| Hi-index | 0.00 |
A few years ago, Bill Gasarch, editor of the Book Review Column, sent me a copy of the book Alternative Logics: Do Sciences Need Them? [28], edited by Paul Weingartner, and asked if I was interested in reviewing it. The book is a collection of essays discussing whether there is a need for logics other than classical logic in various areas of science. Interestingly, I had just finished reading a copy of philosopher Susan Haack's Deviant Logic [13], concerning the philosophical foundation of alternative logics. This was fortuitous, because Haack's monograph provided a wonderful introduction to the essays collected in Weingartner's volume.