Piecha, Thomas; Schroeder-Heister, Peter
(2017)
Atomic systems, that is, sets of rules containing only atomic formulas, play an important role in proof-theoretic notions of logical validity. We consider a view of atomic systems as definitions that allows us to discuss ...