Logical investigation of reasoning with tables

DOI10.1007/978-3-662-44043-8_27zbMATH Open1394.68377OpenAlexW220992714MaRDI QIDQ2920985FDOQ2920985

Yasuhiro Katagiri, Atsushi Shimojima, Ryo Takemura

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

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

zbMATH Keywords

mathematical logiccorrespondence tablefree ride

Mathematics Subject Classification ID

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

Cited In (2)

• Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization
• Title not available (Why is that?)

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)