Logical investigation of reasoning with tables

DOI10.1007/978-3-662-44043-8_27MaRDI QIDQ2920985zbMATH OpenOpenAlexFDO

Authors Ryo Takemura, Atsushi Shimojima, Yasuhiro Katagiri

Publication date 29 September 2014

Published in Diagrammatic Representation and Inference (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-662-44043-8_27

zbMATH Keywords

mathematical logiccorrespondence tablefree ride

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03B99)

Recommendations

• scientific article; zbMATH DE number 2086745
• Thinking with diagrams.
• Can We “Show” the Correctness of Reasoning? On the Role of Diagrammatic Spatialization in Logical Justification
• Aligning logical and psychological perspectives on diagrammatic reasoning
• scientific article; zbMATH DE number 1787138

Cited in

(2)

• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
• scientific article; zbMATH DE number 2086745 (Why is no real title available?)

This page was built for publication: Logical investigation of reasoning with tables

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