Logic, spatial algorithms and visual reasoning

DOI10.1007/S11787-022-00311-XOpenAlexW4295269705MaRDI QIDQ2688866

Jens Lemanski, Andrew Schumann

Publication date: 6 March 2023

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-022-00311-x

zbMATH Keywords

diagrammatic reasoningunconventional computingmagic squaressquare of oppositionlogic diagramsabstract machines

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract deductive systems (03B22) Other applications of logic (03B80)

Cites Work

• Unnamed Item
• On automating diagrammatic proofs of arithmetic arguments
• Visual reasoning with diagrams
• The Pythagorean Table of Opposites, Symbolic Classification, and Aristotle
• Medieval Arabic Notions of Algorithm: Some Further Raw Evidence
• Schopenhauer on Intuition and Proof in Mathematics
• A Guided Tour of Artificial Intelligence Research

This page was built for publication: Logic, spatial algorithms and visual reasoning