Próxima palestra no Seminário Permanente Sobre a Lógica e a Semântica da Quantificação

Daremos sequência nesta sexta-feira, dia 16 de maio de 2014, à nosso Seminário Permanente sobre a Lógica e Semântica da Quantificação com uma palestra do

Prof. Hermann Haeusler (PUC-Rio)

intitulada

 “A Natural Deduction System for Keisler’s Quantification”

Abstract:

Labelled deduction systems have been used to present a large class of logics. The purpose of this paper is to show N DQ, a (labelled) natural deduction system for  Keisler’s logic, and discuss some of its properties. This system is the result of the application of a general framework for dealing with quantifiers in natural deduction. The general use of this framework is briefly outlined.

O seminário ocorrerá das 13:00 às 15:00hs na sala de reunião doDepartamento de Filosofia localizada no 11o andar do Prédio Cardeal Leme da PUC-Rio.

 

Deixe uma resposta

Preencha os seus dados abaixo ou clique em um ícone para log in:

Logotipo do WordPress.com

Você está comentando utilizando sua conta WordPress.com. Sair / Alterar )

Imagem do Twitter

Você está comentando utilizando sua conta Twitter. Sair / Alterar )

Foto do Facebook

Você está comentando utilizando sua conta Facebook. Sair / Alterar )

Foto do Google+

Você está comentando utilizando sua conta Google+. Sair / Alterar )

Conectando a %s