Projeto

Logical Consequence, Reasoning and Computation (LogCons)

Resumo

Projeto Temático FAPESP (2010-2014). The notion of logical consequence, under the classical tradition, is the fundamental relation between premises and conclusion in any valid piece of reasoning. In this way, the foundations of logical consequence can be seen on two main aspects: model-theoretic and proof-theoretically. There are, however, many general problems concerning both approaches, which we investigate in the present project.