[Logica-l] Encontro conjunto: Lolita e GEL -- UFRN

2016-08-03 Por tôpico Elaine Pimentel 
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ê 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/CAHQVs%2BVbS7AoTS9t2gO12YrTe7o%3D7AeapDiHLHdGLx917%2B7hFQ%40mail.gmail.com.

Re: [Logica-l] Encontro conjunto: Lolita e GEL -- UFRN

2016-08-03 Por tôpico Valeria de Paiva 
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 
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ê 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/CAESt%3DXv1riLdgrSbSdUhD%3DfhsKoZCVg_Y9%3D%3DdrM9t2xn0Laf%3DQ%40mail.gmail.com.