scientific article; zbMATH DE number 872502

MaRDI QIDQ4875400zbMATH OpenFDO

Authors Jon Barwise, John Etchemendy

Publication date 1 May 1996

zbMATH Keywords

first-order logicinductionpropositional logicfirst-order set theoryTarski's World

Mathematics Subject Classification ID

Classical propositional logic (03B05) Classical first-order logic (03B10) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Recommendations

• Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM
• scientific article; zbMATH DE number 992300
• A first course in logic
• scientific article; zbMATH DE number 789391

Cited in

(12)

• A plea for logical objects
• Semantics for existential graphs
• scientific article; zbMATH DE number 819502 (Why is no real title available?)
• scientific article; zbMATH DE number 728192 (Why is no real title available?)
• Commentary and illocutionary expressions in linear calculi of natural deduction
• The semiotics of spider diagrams
• Visual Mathematics: Diagrammatic Formalization and Proof
• Exhibiting interpretational and representational validity
• Counter-example construction with Euler diagrams
• HYPERSOLVER: A graphical tool for commonsense set theory
• A brief proof of the full completeness of Shin's Venn diagram proof system
• Language, proof, and logic. In collaboration with Albert Liu, Michael Murray and Emma Pease. With CD-ROM

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 Q4875400)