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),
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
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