Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL

zbMATH Open1272.68381MaRDI QIDQ2848474FDOQ2848474

Authors: Nik Swoboda, Gerard Allwein 

Publication date: 26 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105050462

Recommendations

• A diagrammatic inference system with Euler circles
• Euler’s visual logic
• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
• scientific article; zbMATH DE number 918108
• scientific article; zbMATH DE number 972592

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Classical first-order logic (03B10)

Cited In (8)

• Heterogeneous Reasoning and Its Logic
• Title not available (Why is that?)
• Speedith: a reasoner for spider diagrams
• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
• Syllogisms in rudimentary linear logic, diagrammatically
• Title not available (Why is that?)
• Singular propositions, negation and the square of opposition
• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams

This page was built for publication: Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL

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