scientific article; zbMATH DE number 819502

zbMath0860.03004MaRDI QIDQ4856150

Jon Barwise, John Etchemendy

Publication date: 22 November 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order logicincomplete informationinconsistencyproofsconsequencelogical independenceHyperproofformal language for pictureslogic textbookMacintosh programnonconsequenceRussell's barber paradox

Mathematics Subject Classification ID

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

Related Items

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

Uses Software

• Hyperproof