Logical Investigation of Reasoning with Tables

DOI10.1007/978-3-662-44043-8_27zbMath1394.68377OpenAlexW220992714MaRDI QIDQ2920985

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

zbMATH Keywords

mathematical logiccorrespondence tablefree ride

Mathematics Subject Classification ID

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

Related Items (1)

Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization

This page was built for publication: Logical Investigation of Reasoning with Tables