On the admissibiity of the structural rules in Kanger's sequent calculus with restricted equality Rules
Franco Parlamento
•
Flavio Previale
2018
Periodico
THE BULLETIN OF SYMBOLIC LOGIC
Archivio
Diritti
metadata only access