Absorbing the structural rules in the sequent calculus with additional atomic rules
Parlamento, F.
•
Previale, F.
2019
Periodico
THE BULLETIN OF SYMBOLIC LOGIC
Archivio
Diritti
metadata only access