Hyperproof

by Barwise, Jon

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Hyperproof / John Barwise & John Etchemendy ; program by Gerard Allwein, Mark Greaves, and Michael Lenz ; with additional programming by Alan Bush [and others].

Edition Statements

Publication Date:©1994.

Publication Statements

Publisher(s):CSLI Publications
Place of Publication:Stanford, Calif
Language:eng
Publication Date:©1994.

Notes

Includes indexes.

The Physical Object

Description:1 online resource (xvii, 255 pages : : illustrations.

Edition Identifiers

oclc:on1244849564
LC Classification:QA76
Dewey Decimal:160/.285/5369

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 -- C. The LoFOL Proof System.

Subjects

Computer Science Deduksjon Electronic Data Processing Håndbøker (Form) Hyperproof informatica Informatique Logic, Symbolic and mathematical Logique de premier ordre -- informatique Logique symbolique et mathématique Macintosh Macintosh (Computer) Macintosh (Ordinateur) Macintosh-software Mathématiques -- Logiciels Programvare Symbolsk logikk Wiskundige logica