1 paper
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.…