Re: [Logica-l] S5 self-extensional LFI

[jyb]

Grato Marcelo, 
agora o que mostramos com o Arnon é que não ha realemente logica 
paraconsistente 3-valoradas self-extensional:
A.Avron and J.-Y.Beziau, “Self-extensional three-valued paraconsistent 
logics have no implication”, Logic Journal of the IGPL, Volume 25, Issue 2 
(April 2017), pp.183-194.
ja tinha obtido resultados preiliminares a respeito disso 20 anos antes:
J.-Y.Béziau, “Idempotent full paraconsistent negations are not 
algebraizable”, Notre Dame Journal of Formal Logic, 39 (1998), pp.135-139.
Um abraço, Jean-Yves

Le jeudi 26 mars 2020 14:46:06 UTC-3, coniglio a écrit :
>
> Claro, seus trabalhos, os de Joao Marcos e os de Avron sobre LFIs 
> self-extensionais (modais e 3-valoradas) estão comentados. Nossa proposta é 
> diferente e abrange as LFIs basicas.
>
> Abraço
>
> Marcelo
>
> Em qui., 26 de mar. de 2020 às 13:48, jean-yves beziau  > escreveu:
>
>> Uma LFI que é self-extensional é S5:
>> J.-Y.Béziau, “S5 is a paraconsistent logic and so is first-order 
>> classical logic”, Logical Investigations, 9, (2002), pp.301-309.
>>
>> http://www.jyb-logic.org/papers12-11/S5%20is%20a%20paraconsistent%20logic.pdf
>>
>> -- 
>> 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 logi...@dimap.ufrn.br .
>> Para ver essa discussão na Web, acesse 
>> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCKvcBd%2BgBKWXZg7EmBEonDR3B-16SQ8FfWu8OJEj-krg%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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/a05ed336-1487-4be9-9150-5dcc6b9013da%40dimap.ufrn.br.

Re: [Logica-l] S5 self-extensional LFI

[Marcelo Esteban Coniglio]

Claro, seus trabalhos, os de Joao Marcos e os de Avron sobre LFIs
self-extensionais (modais e 3-valoradas) estão comentados. Nossa proposta é
diferente e abrange as LFIs basicas.

Abraço

Marcelo

Em qui., 26 de mar. de 2020 às 13:48, jean-yves beziau <
jyb.logic...@gmail.com> escreveu:

> Uma LFI que é self-extensional é S5:
> J.-Y.Béziau, “S5 is a paraconsistent logic and so is first-order classical
> logic”, Logical Investigations, 9, (2002), pp.301-309.
>
> http://www.jyb-logic.org/papers12-11/S5%20is%20a%20paraconsistent%20logic.pdf
>
> --
> 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 ver essa discussão na Web, acesse
> https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCKvcBd%2BgBKWXZg7EmBEonDR3B-16SQ8FfWu8OJEj-krg%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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAKuKcn%2BckUw5zzw80%3DjaGL0rvoJtsfBgf39_v9deo_%2BsKXmGXw%40mail.gmail.com.

[Logica-l] S5 self-extensional LFI

[jean-yves beziau]

Uma LFI que é self-extensional é S5:
J.-Y.Béziau, “S5 is a paraconsistent logic and so is first-order classical
logic”, Logical Investigations, 9, (2002), pp.301-309.
http://www.jyb-logic.org/papers12-11/S5%20is%20a%20paraconsistent%20logic.pdf

-- 
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 ver esta discussão na web, acesse 
https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCKvcBd%2BgBKWXZg7EmBEonDR3B-16SQ8FfWu8OJEj-krg%40mail.gmail.com.