Une nouvelle hiérarchie de théories inconsistantes
Da Costa, Newton C. A.
Publications du Département de mathématiques (Lyon), Tome 4 (1967), p. 2-8 / Harvested from Numdam
Access to full text
Full (PDF)
Full (DJVU)
Publié le : 1967-01-01
@article{PDML_1967__4_3_2_0,
     author = {Da Costa, Newton C. A.},
     title = {Une nouvelle hi\'erarchie de th\'eories inconsistantes},
     journal = {Publications du D\'epartement de math\'ematiques (Lyon)},
     volume = {4},
     year = {1967},
     pages = {2-8},
     mrnumber = {238688},
     zbl = {0189.28602},
     language = {fr},
     url = {http://dml.mathdoc.fr/item/PDML_1967__4_3_2_0}
}

Da Costa, Newton C. A. Une nouvelle hiérarchie de théories inconsistantes. Publications du Département de mathématiques (Lyon), Tome 4 (1967) pp. 2-8. http://gdmltest.u-ga.fr/item/PDML_1967__4_3_2_0/

Arruda, A.I. et N.C.A. Da Costa [1] : Sur une hiérarchie de systèmes formels, C.R. Acad. Sc. PARIS 259 (1964), 2943-2345. | Zbl 0134.01504

Costa, N.C.A. Da [2] : Calculs propositionnels pour les systèmes formels inconsistants, C.R. Acad. Sc. PARIS, 257 (1963), 3790 - 3792. | MR 157895 | Zbl 0118.01211

Costa, N.C.A. Da [3] : Calculs de prédicats pour les systèmes formels inconsistants, C.R. Acad. Sc. PARIS, 258 (1964), 27-23. | Zbl 0126.01001

Costa, N.C.A. Da [4] : Calculs de prédicats avec égalité pour les systèmes formels inconsistants, C.R. Acad. Sc. PARIS 258 (1964), 1111-1113. | MR 164873 | Zbl 0126.01002

Costa, N.C.A. Da [5] : Calculs de descriptions pour les systèmes formels inconsistants, C.R. Acad. Sc. PARIS 258 (1964), 1366-1368. | MR 164874 | Zbl 0126.01003

Costa, N.C.A. Da [6] : Sur un système inconsistant de la théorie des ensembles, C.R. Acad. Sc. PARIS, 258 (1964), 3144-3147. | MR 161783 | Zbl 0134.01503

Costa, N.C.A. Da [7] : Sur les systèmes formels Ci, C*i, C=i, Di et NFi, C.R. Acad. Sc. PARIS, 260 (1965), 5427-5430. | MR 189978 | Zbl 0134.01505

Costa, N.C.A. Da [8] : Sistemas formais inconsistentes (thèse), 1963. | Zbl 0798.03025

Costa, N.C.A. Da [9] : On a set theory suggested by Dedecker and Ehresmann, Institut de Mathématiques, Université de Lille, 1967.

Costa, N.C.A. Da et M. Guillaume [10] : Sur les calculs Cn, Anais Acad. Brasil, Clências, 36, n° 4 (1964) 379-382. | MR 188057 | Zbl 0134.01506

Costa, N.C.A. Da et M. Guillaume [11] : Négations composées et loi de Peirce dans les systèmes Cn, Portugaliae Math. 24, Fasc. 4 (1965), 201-210. | MR 216937 | Zbl 0192.02903

Kelley, J.L. [12] : General topology, D. Van Nostrand, 1952. | MR 70144 | Zbl 0066.16604

Kleene, S.C. [13] ; Introduction to metamathematics, D. Van Nostrand, 1952. | MR 51790 | Zbl 0047.00703

Rosser, J.B. [14] : Logic for mathematicians, Mac Graw-Hill, 1953. | MR 54531 | Zbl 0068.00707