Um sistema de tableaux para PM4N

Autores

  • Romulo Albano de Freitas
  • Hércules de Araujo Feitosa
  • Marcelo Reicher Soares

Resumo

Este trabalho fora pensado enquanto buscávamos por alguns desenvolvimentos com a lógica PM4N, lógica esta resultante do trabalho de Beziau [1]. [...]

Downloads

Não há dados estatísticos.

Biografia do Autor

Romulo Albano de Freitas

Departamento de Matemática, FC/UNESP, Bauru, SP

Hércules de Araujo Feitosa

Departamento de Matemática, FC/UNESP, Bauru, SP

Marcelo Reicher Soares

Departamento de Matemática, FC/UNESP, Bauru, SP

Referências

J. Y. Beziau. _A new four-valued approach to modal logic_. Em: Logique Et Analyse 54 (2011), pp. 109_121.

W. A. Carnielli. _Systematization of _nite many-valued logics through the method of tableaux _. Em: Journal of Symbolic Logic 52 (1987), pp. 473_493. doi: 10.2307/2274395.

B. Chellas. Modal logic: an introduction. Cambridge: Cambridge University Press, 1980. isbn: 9780511621192.

Downloads

Publicado

2022-12-08

Edição

Seção

Resumos