@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)}, pages = {2--8}, publisher = {Universit\'e Claude Bernard - Lyon 1}, volume = {4}, number = {3}, year = {1967}, mrnumber = {238688}, zbl = {0189.28602}, language = {fr}, url = {http://www.numdam.org/item/PDML_1967__4_3_2_0/} }
TY - JOUR AU - Da Costa, Newton C. A. TI - Une nouvelle hiérarchie de théories inconsistantes JO - Publications du Département de mathématiques (Lyon) PY - 1967 SP - 2 EP - 8 VL - 4 IS - 3 PB - Université Claude Bernard - Lyon 1 UR - http://www.numdam.org/item/PDML_1967__4_3_2_0/ LA - fr ID - PDML_1967__4_3_2_0 ER -
Da Costa, Newton C. A. Une nouvelle hiérarchie de théories inconsistantes. Publications du Département de mathématiques (Lyon), Tome 4 (1967) no. 3, pp. 2-8. http://www.numdam.org/item/PDML_1967__4_3_2_0/
Sur une hiérarchie de systèmes formels, C.R. Acad. Sc. PARIS 259 (1964), 2943-2345. | Zbl
et [1] :Calculs propositionnels pour les systèmes formels inconsistants, C.R. Acad. Sc. PARIS, 257 (1963), 3790 - 3792. | MR | Zbl
[2] :Calculs de prédicats pour les systèmes formels inconsistants, C.R. Acad. Sc. PARIS, 258 (1964), 27-23. | Zbl
[3] :Calculs de prédicats avec égalité pour les systèmes formels inconsistants, C.R. Acad. Sc. PARIS 258 (1964), 1111-1113. | MR | Zbl
[4] :Calculs de descriptions pour les systèmes formels inconsistants, C.R. Acad. Sc. PARIS 258 (1964), 1366-1368. | MR | Zbl
[5] :Sur un système inconsistant de la théorie des ensembles, C.R. Acad. Sc. PARIS, 258 (1964), 3144-3147. | MR | Zbl
[6] :Sur les systèmes formels Ci, C*i, C=i, Di et NFi, C.R. Acad. Sc. PARIS, 260 (1965), 5427-5430. | MR | Zbl
[7] :Sistemas formais inconsistentes (thèse), 1963. | Zbl
[8] :On a set theory suggested by Dedecker and Ehresmann, Institut de Mathématiques, Université de Lille, 1967.
[9] :Sur les calculs Cn, Anais Acad. Brasil, Clências, 36, n° 4 (1964) 379-382. | MR | Zbl
et [10] :Négations composées et loi de Peirce dans les systèmes Cn, Portugaliae Math. 24, Fasc. 4 (1965), 201-210. | MR | Zbl
et [11] :General topology, D. Van Nostrand, 1952. | MR | Zbl
[12] :Introduction to metamathematics, D. Van Nostrand, 1952. | MR | Zbl
[13] ; [14] :