Paper w/CD $32.95 ISBN: 9781881526117 Published December 1994

Hyperproof

For Macintosh

Jon Barwise and John Etchemendy

Hyperproof
Bookmark and Share

Jon Barwise and John Etchemendy

Distributed for Center for the Study of Language and Information

254 pages | 7 x 10 | © 1994
Paper w/CD $32.95 ISBN: 9781881526117 Published December 1994
Contents
About Hyperproof
I: Basic Concepts
1: Comparing Tarski's World and Hyperproof
2: Proofs of Consequence and Nonconsequence
3: Sentential Consequence Rules
4: Proofs of Consistency and Inconsistency
II: Diagrammatic Reasoning
5: The Apply Rule
6: Reasoning by Cases
7: Independence Proofs
III: Sentential Reasoning
8: Sentence Connective Rules
9: Quantifier and Identity Rules
10: Axioms and Analytic Consequence
11: Logic and Observation
A. Using Hyperproof
B. Summary of Goals
C. The LoFOL Proof System
Index
Index of Try Me Files
For more information, or to order this book, please visit http://www.press.uchicago.edu
Google preview here

Chicago Manual of Style |

RSS Feed

RSS feed of the latest books from Center for the Study of Language and Information. RSS Feed