John Mumma

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 2

Top Topics

Diagrammatic Reasoning

Cognitive Science

Natural Intelligence

Top Venues

J. Log. Lang. Inf.

ESSLLI Logic & Cognition Workshop

Publications

Yacin Hamami, John Mumma, Marie Amalric
Counterexample Search in Diagram-Based Geometric Reasoning. Cogn. Sci. 45 (4) (2021)
John Mumma
The Eu Approach to Formalizing Euclid: A Response to "On the Inconsistency of Mumma's Eu". Notre Dame J. Formal Log. 60 (3) (2019)
Yacin Hamami, John Mumma
Prolegomena to a Cognitive Investigation of Euclidean Diagrammatic Reasoning. J. Log. Lang. Inf. 22 (4) (2013)
John Mumma, Marco Panza
Diagrams in mathematics: history and philosophy. Synth. 186 (1) (2012)
Yacin Hamami, John Mumma
Euclid's diagrammatic logic and cognitive science. ESSLLI Logic & Cognition Workshop (2012)
John Mumma
Constructive geometrical reasoning and diagrams. Synth. 186 (1) (2012)
John Mumma
Proofs, pictures, and Euclid. Synth. 175 (2) (2010)
Jeremy Avigad, Edward T. Dean, John Mumma
A Formal System for Euclid's Elements. Rev. Symb. Log. 2 (4) (2009)
John Mumma
Ensuring Generality in Euclid's Diagrammatic Arguments. Diagrams (2008)