OI Valéria. Negative modalities são modalidades sempre precedidas por uma negação, tipo \lnot\Box. Imagina axiomatiar uma lógica tipo S5 onde as modalidades sempre ocorrem na sua forma negativa na axiomatização? Aí v define uma outra modalidade, digamos NOT = \lnot Box, e nesta lógica, por exemplo, A e NOT A não |- B (a consequência lógica não explode)
Et voilà, v tem uma lógica paraconsistente cuja negação é baseada na lógica S5. Essa foi a ideia inicial do Jean Yves, quando ele a propôs. E virou um um programa de pesquisa graças ao João Marcos e vários outros, ou seja, encontrar negações paraconsistentes baseadas em lógicas modais . Aliás, eles podem falar disso muuuuuito melhor que eu. []s On 4 August 2016 at 00:50, 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 >> <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ê 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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAESt%3DXv1riLdgrSbSdUhD%3DfhsKoZCVg_Y9%3D%3DdrM9t2xn0Laf%3DQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Marcelo Finger Departament of Computer Science, IME University of Sao Paulo http://www.ime.usp.br/~mfinger -- 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/CABqmzx3U35wkJV2VVPAZ1D5tKwwzee_CW5Yq0LpGzXfbe%2BpAyg%40mail.gmail.com.
