scientific article; zbMATH DE number 872502

zbMATH Open0858.03002MaRDI QIDQ4875400FDOQ4875400

Authors: Jon Barwise, John Etchemendy 

Publication date: 1 May 1996

Title of this publication is not available (Why is that?)

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

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)

Cited In (12)

• A plea for logical objects
• Semantics for existential graphs
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)