Une nouvelle hiérarchie de théories inconsistantes

Newton C. A. Da Costa

Publications du Département de mathématiques (Lyon) (1967)

  • Volume: 4, Issue: 3, page 2-8
  • ISSN: 0076-1656

How to cite

top

Da Costa, Newton C. A.. "Une nouvelle hiérarchie de théories inconsistantes." Publications du Département de mathématiques (Lyon) 4.3 (1967): 2-8. <http://eudml.org/doc/273510>.

@article{DaCosta1967,
author = {Da Costa, Newton C. A.},
journal = {Publications du Département de mathématiques (Lyon)},
keywords = {set theory},
language = {fre},
number = {3},
pages = {2-8},
publisher = {Université Claude Bernard - Lyon 1},
title = {Une nouvelle hiérarchie de théories inconsistantes},
url = {http://eudml.org/doc/273510},
volume = {4},
year = {1967},
}

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
PB - Université Claude Bernard - Lyon 1
VL - 4
IS - 3
SP - 2
EP - 8
LA - fre
KW - set theory
UR - http://eudml.org/doc/273510
ER -

References

top
  1. Arruda, A.I. et N.C.A. da Costa [1] : Sur une hiérarchie de systèmes formels, C.R. Acad. Sc. PARIS259 (1964), 2943-2345. Zbl0134.01504
  2. Costa, N.C.A. Da [2] : Calculs propositionnels pour les systèmes formels inconsistants, C.R. Acad. Sc. PARIS, 257 (1963), 3790 - 3792. Zbl0118.01211MR157895
  3. 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. Zbl0126.01001
  4. Costa, N.C.A. Da [4] : Calculs de prédicats avec égalité pour les systèmes formels inconsistants, C.R. Acad. Sc. PARIS258 (1964), 1111-1113. Zbl0126.01002MR164873
  5. Costa, N.C.A. Da [5] : Calculs de descriptions pour les systèmes formels inconsistants, C.R. Acad. Sc. PARIS258 (1964), 1366-1368. Zbl0126.01003MR164874
  6. 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. Zbl0134.01503MR161783
  7. 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. Zbl0134.01505MR189978
  8. Costa, N.C.A. Da [8] : Sistemas formais inconsistentes (thèse), 1963. Zbl0798.03025
  9. Costa, N.C.A. Da [9] : On a set theory suggested by Dedecker and Ehresmann, Institut de Mathématiques, Université de Lille, 1967. Zbl0204.31302
  10. Costa, N.C.A. da et M. Guillaume [10] : Sur les calculs Cn, Anais Acad. Brasil, Clências, 36, n° 4 (1964) 379-382. Zbl0134.01506MR188057
  11. 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. Zbl0192.02903MR216937
  12. Kelley, J.L. [12] : General topology, D. Van Nostrand, 1952. Zbl0066.16604MR70144
  13. Kleene, S.C. [13] ; Introduction to metamathematics, D. Van Nostrand, 1952. Zbl0047.00703MR51790
  14. Rosser, J.B. [14] : Logic for mathematicians, Mac Graw-Hill, 1953. Zbl0068.00707MR54531

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.