Algumas RelAções entre CáLculo de Sequentes E DeduçãO Natural. - Cecilia Reis Englander Lustosa (2014)