Caro Umberto,
Certamente deveremos mudar a frase do abstract (que, como mencionado antes,
em nada afeta o que é apresentado no artigo).
Um grande abraço, e aguardamos seus comentários!
Marcelo
Em qui., 26 de mar. de 2020 às 15:41, Umberto Rivieccio <
umberto.riviec...@gmail.com> escreveu:
>
>
Olá Marcelo, Walter,
> Muito obrigado pela atinada observação. As LFIs às que nos referimos não são
> nem self-extensional nem algebrizáveis. Neste artigo estamos principalmente
> preocupados com a self-extensionality, no sentido de que todos os conectivos
> (incluindo a negação
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
Caro Umberto:
Muito obrigado pela observação. Talvez devêssemos escrever mais
claramente, mas acho que a explicação do Marcelo esclarece nossa
intenção.
Abraços,
Walter
Em qui., 26 de mar. de 2020 às 11:36, Umberto Rivieccio
escreveu:
>
>
> Caro Walter,
>
> Um detalhe no abstract:
>
>
Caro Umberto,
Muito obrigado pela atinada observação. As LFIs às que nos referimos não
são nem self-extensional nem algebrizáveis. Neste artigo estamos
principalmente preocupados com a self-extensionality, no sentido de que
todos os conectivos (incluindo a negação paraconsistente e o conectivo
Caro Walter,
Um detalhe no abstract:
It is known that these systems are not algebraizable in the sense of
Blok-Pigozzi since they are non self-extensional (i.e., they do not satisfy the
replacement property).
Uma lógica pode ser algebraizable e non-self-extensional ao mesmo tempo (por
Parar as aulas é uma coisa, parar as atividades de pesquisa (o foco do
texto) é outra.
Ao que me consta as universidades que suspenderam aulas (como a UFMG)
deixaram claro que o que puder continuar sendo feito remotamente, que
não envolva aulas, deve continuar. É claro que isso acarreta perda de
-- Forwarded message -
From: ScienceDirect Message Center
Date: Thu, Mar 26, 2020 at 9:17 AM
Subject: Electronic Notes in Theoretical Computer Science : Volume 348 14th
International Workshop on Logical and Semantic Frameworks, with
Applications (LSFA 2019)
[image: wordmark]
10 matches
Mail list logo