Bridging informal reasoning and formal proving: the role of argumentation in proof-events

DOI10.1007/S10699-023-09926-9MaRDI QIDQ6836288zbMATH OpenFDO

Authors Sofia Almpani, Petros Stefaneas

Publication date 27 March 2026

Published in Foundations of Science (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10699-023-09926-9

zbMATH Keywords

argumentationargumentsmathematical proofphilosophy of mathematicsproof-eventsprovingreasoning

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Methodology of mathematics (00A35)

Cites work

• A general account of argumentation with preferences
• A logic-based calculus of events
• A simple declarative language for describing narratives with actions
• Abductive Logic Programming
• Abstract argumentation systems
• Bridging the gap between argumentation theory and the philosophy of mathematics
• How to reason defeasibly
• scientific article; zbMATH DE number 3521895 (Why is no real title available?)
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
• Mathematics and argumentation
• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
• The argument of mathematics

This page was built for publication: Bridging informal reasoning and formal proving: the role of argumentation in proof-events

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6836288)