207 citations · 309 across the 9 of their papers we have counts for
1 paper · 1 filter
Victoria Barrett, Alessio Guglielmi, Benjamin Ralph +1
Subatomic logic is a recent innovation in structural proof theory where atoms are no longer the smallest entity in a logical formula, but are instead treated as binary connectives.…