Eris

Interactive Proof Environment

Explorations in creating an direct manipulation logic tool

@prabros

Reading materials that were helpful in designing and developing the environment.

Material Notes Added Read
Eris On the title of this project 22 August 2026 TBD
Argumentation Theory Wiki entry on Argumentation Theory 22 August 2026 TBD
A Brief History of Natural Deduction Nice paper on how natural deduction evolved. There is another variation of this paper here, but seems like that too contains minor typos. 22 August 2026 4 September 2026
Argumentation Scheme I need to look into how to represent argumentation schemes 22 August 2026 TBD
Deduction (1991) by Laird and Byrne Looks like a neat read on how common people represent logic. This resonates with what I want to eventually achieve with the project 22 August 2026 TBD
The Psychology of Proof (1994) by Lance Rips Another read in the direction of how common people cognize logic and represent their argumentation 22 August 2026 TBD