Elaine, veja se voces podem colocar os slides online, por favor? eu nao sei o que sao "negative modalities", por exemplo. obrigada, Valeria
On Wed, Aug 3, 2016 at 11:07 AM, Elaine Pimentel <[email protected]> wrote: > Prezados colegas, > > É com prazer que lhes convido para o nosso primeiro encontro do Lolita/GEL > deste semestre. > > Por favor, disseminem a informação para seus alunos/colegas. > > Dia: 12/08/2016 > Local: Anfiteatro A CCET/UFRN > Horário: 16h > > *** > Speaker: João Marcos > DIMAp -- UFRN > https://sites.google.com/site/sequiturquodlibet/ > > Title: > It ain’t necessarily so: Basic sequent systems for negative modalities > > Abstract: > We look at non-classical negations and their corresponding adjustment > connectives from a modal viewpoint, over complete distributive > lattices, and apply a very general mechanism in order to offer > adequate analytic proof systems to logics that are based on them. > Defining non-classical negations within usual modal semantics > automatically allows one to treat equivalent formulas as synonymous, > and to have a natural justification for a global version of the > contraposition rule. From that perspective, our study offers a > particularly useful environment in which negative modalities and their > companions may be used for dealing with inconsistency and > indeterminacy. After investigating modal logics based on arbitrary > frames, we extend the results to serial frames, reflexive frames, > functional frames, and symmetric frames. In each case we also > investigate when and how classical negation may thereby be defined. > > This is joint work with Ori Lahav and Yoni Zohar. > > -- > Elaine. > ------------------------------------------------- > Elaine Pimentel - DMAT/UFRN > > Address: Departamento de Matemática > Universidade Federal do Rio Grande do Norte > Campus Universitário - Av. Senador Salgado Filho, s/nº > Lagoa Nova, CEP: 59.078-970 - Natal - RN > > Phone: +55 84 9193-6127 / 3215-3819 > Fax: +55 84 3211-9219 > > http://sites.google.com/site/elainepimentel/ > Lattes: http://lattes.cnpq.br/3298246411086415 > -------------------------------------------------------- > > -- > Você recebeu essa mensagem porque está inscrito 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 postar nesse grupo, envie um e-mail para [email protected]. > Acesse esse grupo em > https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse > https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVbS7AoTS9t2gO12YrTe7o%3D7AeapDiHLHdGLx917%2B7hFQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAHQVs%2BVbS7AoTS9t2gO12YrTe7o%3D7AeapDiHLHdGLx917%2B7hFQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Valeria de Paiva http://research.nuance.com/author/valeria-de-paiva/ http://www.cs.bham.ac.uk/~vdp/ http://valeriadepaiva.org/ -- 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 postar neste grupo, envie um e-mail para [email protected]. 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/CAESt%3DXv1riLdgrSbSdUhD%3DfhsKoZCVg_Y9%3D%3DdrM9t2xn0Laf%3DQ%40mail.gmail.com.
