k-transforms in classical and paraconsistent logics
DOI:
https://doi.org/10.12775/LLP.1999.005Keywords
k-transform, paraconsistent logic, predicate calculusAbstract
We study some metamathematical properties of various classical and paraconsistent logical systems. In particular, we discuss the concept of a k-transform of a formula and consider some of its applications.References
Arruda, A. I. and da Costa, N. C.A. “Sur un théorème de Hilbert et Bernays”, Comptes Rendus de l’Académie de Sciences de Paris, série A, 258, 1964, pp. 6311–6312.
Arruda, A. I. and da Costa, N. C.A. “Sur une hiérarchie de systèmes formels”, Comptes Rendus de l’Académie de Sciences de Paris, série A, 259, 1964, pp. 2943–2945.
Arruda, A. I. and da Costa, N. C.A. “Transformadas no cálculo restrito de predicados”, Anais da Academia Brasileira de Ciências, 38, 1966, pp. 385–390.
Arruda, A. I. and da Costa, N. C.A. “O paradoxo de Curry-Moh Shaw Kwei”, Boletim da Sociedade Matemática de São Paulo, 18, 1966, pp. 83–89.
Church, A. Introduction to Mathematical Logic. Princeton University, 1956.
da Costa, N. C.A. “Calculus de prédicats pour les systèmes formels inconsistants”, Comptes Rendus de l’Académie de Sciences de Paris, série A, 258, 1964, pp. 27–29.
da Costa, N. C.A. “Calculus de prédicats avec égalité pour les syst`emes formels inconsistants”, Comptes Rendus de l’Acad´emie de Sciences de Paris, série A, 258, 1964, pp. 1111–1113.
da Costa, N. C.A. “Sobre o conceito de transformada no cálculo de predicados”, Notas do IME, Universidade de São Paulo, 1973, pp. 53–59.
da Costa, N. C.A. “On the theory of inconsistent formal systems”, Notre Dame Journal of Formal Logic, 15, 1974, pp. 497–510.
da Costa, N. C. A. Sistemas Formais Inconsistentes. Curitiba, Universidade Federal do Paran´a, second edition, 1993 (first edition 1963).
da Costa, N. C. A. Logiques Classiques et non Classiques. Masson, 1997.
Curry, H. B. “The inconsistency of certain formal logics”, Journal of Symbolic Logic, 7, 1942, pp. 115–117.
Grana, N. Sulla Teoria delle Valutazioni di N.C.A. da Costa. Ligouri, 1990.
Hilbert, D. and Bernays, P. Grundlagen der Mathematik. Springer Verlag, vol. 1, 1934 and vol. 2, 1939.
Kleene, S. C. Introduction to Metamathematics. Van Nostrand, 1952.
Leisering, A. C. Mathematical Logic and Hilbert ε-symbol. MacDonald, 1969.
Shoenfield, J. Mathematical Logic. Addison Wesley, 1967.
Downloads
Published
How to Cite
Issue
Section
Stats
Number of views and downloads: 363
Number of citations: 0