3 citations · 5 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Natural Deduction Derivations as Directed Acyclic Proof Graphs
Jonathan Chan, Aaron Stump
In conventional natural deduction, a proof of a proposition is a derivation tree constructed out of inference rules with some number of premises and a conclusion judgement. For pro…
cs.LO2025
Internalizing Extensions in Lattices of Type Theories
Jonathan Chan
Many proof assistants allow the use of features and axioms that increase their expressive power. However, these extensions must be used with care, as some combinations are known to…