Logical reasoning with diagrams and sentences. Using hyperproof

zbMATH Open1373.03001MaRDI QIDQ4588560FDOQ4588560

Authors: Dave Barker-Plummer, Jon Barwise, John Etchemendy 

Publication date: 27 October 2017

Recommendations

• scientific article; zbMATH DE number 918108
• Logic as a tool. A concise guide to logical reasoning
• Reasoning with sentences and diagrams
• scientific article; zbMATH DE number 7646006
• scientific article; zbMATH DE number 1237648

Mathematics Subject Classification ID

Theory of programming languages (68N15) Classical first-order logic (03B10) 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)

Cited In (5)

• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
• Reasoning with sentences and diagrams
• Title not available (Why is that?)
• Hybrid reasoning using universal attachment
• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams

Uses Software

• Hyperproof

This page was built for publication: Logical reasoning with diagrams and sentences. Using hyperproof

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