info:eu-repo/grantAgreement/FCT//SFRH%2FBPD%2F116125%2F2016/PTLogic, inference, and structure: Proof-theoretic semantics and substructuralitySFRH/BPD/116125/2016