S5 self-extensional LFI

jean-yves beziau

unread,

Mar 26, 2020, 12:48:17 PM3/26/20

to logi...@dimap.ufrn.br

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

Marcelo Esteban Coniglio

unread,

Mar 26, 2020, 1:46:06 PM3/26/20

to jean-yves beziau, Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA

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

--
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+u...@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.

jyb

unread,

Mar 26, 2020, 2:38:17 PM3/26/20

to LOGICA-L, jyb.lo...@gmail.com

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 <jyb.l...@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 logi...@dimap.ufrn.br.

Reply all

Reply to author

Forward