scientific article; zbMATH DE number 819502

MaRDI QIDQ4856150zbMATH OpenFDO

Authors Jon Barwise, John Etchemendy

Publication date 22 November 1995

zbMATH Keywords

consequencefirst-order logicformal language for picturesHyperproofincomplete informationinconsistencylogic textbooklogical independenceMacintosh programnonconsequenceproofsRussell's barber paradox

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04) Classical first-order logic (03B10)

Recommendations

• scientific article; zbMATH DE number 872502
• scientific article; zbMATH DE number 2065276
• Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM
• scientific article; zbMATH DE number 972602
• scientific article; zbMATH DE number 918108

Cited in

(14)

• Meaning and dialogue coherence: A proof-theoretic investigation
• Conservation principles and action schemes in the synthesis of geometric concepts
• Information and impossibilities
• The concept of relevance and the logic diagram tradition
• A semiotic perspective on polysemy
• Economic reasoning with demand and supply graphs
• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
• Logicographic symbols
• How diagrams can support syllogistic reasoning: an experimental study
• A Shell for Generic Interactive Proof Search
• What Are the Advantages of Hyperproof-like Reasoning Systems?
• Heterogeneous Reasoning and Its Logic
• AE (Aristotle-Euler) diagrams: An alternative complete method for the categorical syllogism
• Simplifying proofs in Fitch-style natural deduction systems

Describes a project that uses

Uses Software

• Hyperproof

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4856150)