Une nouvelle hiérarchie de théories inconsistantes
Publications du Département de mathématiques (Lyon), Tome 4 (1967) no. 3, pp. 2-8.
@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  - 
%0 Journal Article
%A Da Costa, Newton C. A.
%T Une nouvelle hiérarchie de théories inconsistantes
%J Publications du Département de mathématiques (Lyon)
%D 1967
%P 2-8
%V 4
%N 3
%I Université Claude Bernard - Lyon 1
%U http://www.numdam.org/item/PDML_1967__4_3_2_0/
%G fr
%F 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) no. 3, pp. 2-8. http://www.numdam.org/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

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

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

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 | Zbl

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 | Zbl

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 | Zbl

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 | Zbl

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

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 | Zbl

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 | Zbl

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

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

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