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 > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLCKvcBd%2BgBKWXZg7EmBEonDR3B-16SQ8FfWu8OJEj-krg%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- 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.
