Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation
Under a Creative Commons license
open access
Keywords
Automated theorem proving
Automated reasoning
Abstract argumentation
Argumentation
Collaborative intelligence
Dialogue games
Lakatos
Mathematical argument
Structured argumentation
Social creativity
Philosophy of mathematical practice
Cited by (0)
© 2017 The Authors. Published by Elsevier B.V.