Um sistema de tableaux para PM4N
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.
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.
