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

MaRDI QIDQ2848474zbMATH OpenFDO

Authors Nik Swoboda, Gerard Allwein

Publication date 26 September 2013

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

Mathematics Subject Classification ID

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

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

Cited in

(8)

• scientific article; zbMATH DE number 1787156 (Why is no real title available?)
• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
• scientific article; zbMATH DE number 2086746 (Why is no real title available?)
• Singular propositions, negation and the square of opposition
• Speedith: a reasoner for spider diagrams
• Syllogisms in rudimentary linear logic, diagrammatically
• Heterogeneous Reasoning and Its Logic
• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization

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)