Oi, Valeria! O encontro vai ser gravado 😊 Depois eu mando o link.
Mas o João pode lhe mandar os slides, paper, etc. Beijo! -- Elaine > On Aug 4, 2016, at 12:50 AM, Valeria de Paiva <valeria.depa...@gmail.com> > wrote: > > 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 <elaine.pimen...@gmail.com> >> 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 logica-l+unsubscr...@dimap.ufrn.br. >> Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. >> 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. > > > > -- > Valeria de Paiva > http://research.nuance.com/author/valeria-de-paiva/ > http://www.cs.bham.ac.uk/~vdp/ > http://valeriadepaiva.org/ > -- > 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 logica-l+unsubscr...@dimap.ufrn.br. > Para postar nesse grupo, envie um e-mail para logica-l@dimap.ufrn.br. > 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/CAESt%3DXv1riLdgrSbSdUhD%3DfhsKoZCVg_Y9%3D%3DdrM9t2xn0Laf%3DQ%40mail.gmail.com. -- 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/0C171F71-2378-495F-9C2E-B3EF39F4232B%40gmail.com.
