Oi, Walter:
Parabéns pelo trabalho!
Talvez valha a pena recordar que o problema particular de definir LFIs que
(estendem mbC e) possuem a propriedade de substitutividade (a.k.a.
replacement) foi discutido ---e resolvido--- há muitos anos pelas
(infinitas) lógicas que reformulam (todas) as
Colegas:
Apraz-nos (!) informar que nosso artigo abaixo acaba de ser
publicado pelo The Review of Symbolic Logic:
"Logics of Formal Inconsistency Enriched with Replacement: An
Algebraic and Modal Account " (Walter Carnielli, Marcelo E. Coniglio
and David Fuenmayor)
The Review of Symbolic
Oi, Marcos e Walter,
Muito bom e muito necessário!!!
Parabéns! Abraços,
On Sat, Aug 20, 2022 at 11:57 PM Itala Maria Loffredo D'Ottaviano <
it...@unicamp.br> wrote:
> Walter e Marcos:
>
> Achei muito bom, espetacular e oportuníssimo.
> Parabéns!
>
> Itala
>
> Em sáb., 20 de ago. de 2022 às