Managing Informal Mathematical Knowledge: Techniques from Informal Logic
From MaRDI portal
Publication:5756767
DOI10.1007/11812289_17zbMath1188.68276OpenAlexW1480832214MaRDI QIDQ5756767
Publication date: 5 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://philpapers.org/rec/ABEMIM
Knowledge representation (68T30) Methodology of mathematics (00A35) Other applications of logic (03B80)
Related Items (9)
Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation ⋮ Revealing Structures of Argumentations in Classroom Proving Processes ⋮ Bridging the Gap Between Argumentation Theory and the Philosophy of Mathematics ⋮ The Parallel Structure of Mathematical Reasoning ⋮ Eager Equality for Rational Number Arithmetic ⋮ Introduction ⋮ Mathematical arguments in context ⋮ Bridging the gap between argumentation theory and the philosophy of mathematics ⋮ Mathematics and argumentation
This page was built for publication: Managing Informal Mathematical Knowledge: Techniques from Informal Logic
