Justification Logic: Reasoning With Reasons
by Sergei Artemov /
2019 / English / PDF
1.3 MB Download
Develops a new logic paradigm which emphasizes evidence tracking, including theory, connections to other fields, and sample applications.