Um sistema de tableaux para PM4N

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]. [...]

Texto completo:

PDF

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.


Apontamentos

  • Não há apontamentos.


SBMAC - Sociedade de Matemática Aplicada e Computacional
Edifício Medical Center - Rua Maestro João Seppe, nº. 900, 16º. andar - Sala 163 | São Carlos/SP - CEP: 13561-120
 


Normas para publicação | Contato