Caros, gostaria de convidá-los a participar da palestra da Profa. Elaine Pimentel (DMAT/UFRN) nesta sexta-feira, às 10:00. Os dados da palestra estão abaixo:
O calendário da nossa série de seminários está disponível em: https://sites.google.com/view/gtc-unb/calendar Atenciosamente, Daniele. ------------------------------------------------------------------- A Game Model for Proofs with Costs Profa. Elaine Pimentel <https://sites.google.com/site/elainepimentel/> DMAT/UFRN Abstract: We look at substructural calculi from a game semantic point of view, guided by certain intuitions about resource conscious and, more specifically, cost conscious reasoning. To this aim, we start with a game, where player I defends a claim corresponding to a (single-conclusion) sequent, while player II tries to refute that claim. Branching rules for additive connectives are modeled by choices of II, while branching for multiplicative connectives leads to splitting the game into parallel subgames, all of which have to be won by player I to succeed. The game comes into full swing by adding cost labels to assumptions, and a corresponding budget. Different proofs of the same end-sequent are interpreted as more or less expensive strategies for I to defend the corresponding claim. This leads to a new kind of labelled calculus, which can be seen as a fragment of SELL (subexponential linear logic). Finally, we generalize the concept of costs in proofs by using a semiring structure, illustrate our interpretation by examples and investigate some proof-theoretical properties. The talk assumes no prior knowledge on games or substructural logic. Only a basic notion of sequent systems is advisable. This is a joint work with Timo Lang, Carlos Olarte and Christian G. Fermüller. Horário: 10:00 (UTC-3) Link: https://meet.google.com/wie-cvrt-ksk -- Daniele Nantes Grupo de Teoria da Computação Departamentos de Matemática e Computação Universidade de Brasília www.mat.unb.br/~dnantes -- 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 [email protected]. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAMnPOrqVR4cvxbZXkUyUiBXjzTNbQp3Y9HWCgh1JDnXJvEXOFQ%40mail.gmail.com.
