Por Carlos Caleiro (Instituto Superior Técnico).
In this talk we aim at showing the advantages of taking the notion of multiple-conclusion consequence relation proposed by Scott, Shoesmith and Smiley as an environment for studying Tarski-style single-conclusion logical consequence. For that purpose we will focus on two long-standing research tasks, modularization and axiomatizability, helping us to better understand how to obtain (good) calculi for given logics, as well as how to (effectively) build more complex logics incrementally from simpler ones.
Transmissão via Zoom.