Caros, Amanhã, na PUC-Rio, haverá a palestra abaixo descrita do Prof. Gabriele Pulcini (Universidade Nova de Lisboa)
16/05/2017 - 10:00 Sala: 511 FROM COMPLEMENTARY LOGIC TO PROOF-THEORETIC SEMANTICS In the first part of my talk, I'll consider LK°, a cut-free sequent calculus able to faithfully characterize classical (propositional) non-theorems, in the sense that a formula A is provable in LK° if, and only if, it is not provable in LK. I'll show how to enrich LK° with two admissible (unary) cut rules, which allow for a simple and efficient cut-elimination algorithm. I'll then highlight two facts: 1) complementary cut-elimination always returns the simplest proof for any given provable sequent, and 2) provable complementary sequents turn out to be "deductively polarized" by the empty sequent. In the second part, I'll observe how an alternative sequent system for complementary classical logic can be obtained by slightly modifying Kleene's system G4. I'll show how this move could pave the way to a new approach to proof-theoretic semantics. Abraços, Bruno. -- Bruno Lopes http://www.ic.uff.br/~bruno <http://www.ic.uff.br/~bruno> -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para postar neste grupo, envie um e-mail para logica-l@dimap.ufrn.br. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/7EFF24D1-8D95-40D1-9DC3-E6D3ECBD2715%40gmail.com.
