Logical reasoning with diagrams and sentences. Using hyperproof

MaRDI QIDQ4588560zbMATH OpenFDO

Authors Dave Barker-Plummer, Jon Barwise, John Etchemendy

Publication date 27 October 2017

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)

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

Cited in

(5)

• Hybrid reasoning using universal attachment
• Reasoning with sentences and diagrams
• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
• scientific article; zbMATH DE number 918108 (Why is no real title available?)
• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization

Describes a project that uses

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)