Valency Hub
alphaFeedback
PDF

WorksComputer Science

Natural Deduction Derivations as Directed Acyclic Proof Graphs

Jonathan Chan, Aaron Stump

Published Fresh — added to the Hub within the last 30 daysv1

Publication details
License
CC BY 4.0
Views
8
Status
Published
AI contributions
Not recorded for this paper
View details
Versions

Every version keeps its own PDF, citation, and review record — endorsements are bound to the version they examined and never carry forward silently.

v1CURRENT
Nov 03, 2026
PUBLISHED
read this version