k-transforms in classical and paraconsistent logics

Newton C.A. da Costa, Roque da C. Caiero

DOI: http://dx.doi.org/10.12775/LLP.1999.005

Abstract


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.

Keywords


k-transform; paraconsistent logic; predicate calculus

Full Text:

PDF

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.








Print ISSN: 1425-3305
Online ISSN: 2300-9802

Partnerzy platformy czasopism