Sur la réfutabilité

Jean-Pierre Barthélémy

Cahiers de Topologie et Géométrie Différentielle Catégoriques (1974)

  • Volume: 15, Issue: 1, page 21-46
  • ISSN: 1245-530X

How to cite

top

Barthélémy, Jean-Pierre. "Sur la réfutabilité." Cahiers de Topologie et Géométrie Différentielle Catégoriques 15.1 (1974): 21-46. <http://eudml.org/doc/91130>.

@article{Barthélémy1974,
author = {Barthélémy, Jean-Pierre},
journal = {Cahiers de Topologie et Géométrie Différentielle Catégoriques},
language = {fre},
number = {1},
pages = {21-46},
publisher = {Dunod éditeur, publié avec le concours du CNRS},
title = {Sur la réfutabilité},
url = {http://eudml.org/doc/91130},
volume = {15},
year = {1974},
}

TY - JOUR
AU - Barthélémy, Jean-Pierre
TI - Sur la réfutabilité
JO - Cahiers de Topologie et Géométrie Différentielle Catégoriques
PY - 1974
PB - Dunod éditeur, publié avec le concours du CNRS
VL - 15
IS - 1
SP - 21
EP - 46
LA - fre
UR - http://eudml.org/doc/91130
ER -

References

top
  1. [1] J.P. Barthelemy, Théorème de Complétude dans les catégories de Boole, Résumés du Colloque d'Amiens, Cahiers Topo. et Géom. dif.XIV - 2 (1973). 
  2. [2] H.B. Curry, Leçons de logique algébrique, Gauthiers - Villars et Nauwelaerts, Paris et Louvain, 1952. Zbl0048.00201MR45662
  3. [3] P. Destouches-Fevrier, C.R.A.S.225 (1947), p.1241. Zbl0035.14902MR22807
  4. [4] P. Destouches-Fevrier, C.R.A.S.226 (1948), p.38. MR26020
  5. [5] C. Ehresmann, Algèbre, C.D.U., Paris, 1968. 
  6. [6] S. Eilenberg et G.M. Kelly, Closed categories, Proc. Conf. Cat. Algebra of La Jolla, Springer, Berlin, 1966. Zbl0192.10604MR225841
  7. [7] P. Freyd, Aspects of Topoi, Bull. Austr. Math. Soc. (1972), p.1-76. Zbl0252.18001MR396714
  8. [8] V. Glivenko, Sur quelques points de la logique de M. Brouwer, Acad. Belg. Bull. des Sci. 5s, 15 (1929) p.183-188. Zbl55.0030.05JFM55.0030.05
  9. [9] R. Guitart, Monades involutives complémentées (§8), à paraître dans Cahiers Topo. et Géom. dif. Zbl0336.18009
  10. [10] A. Kock, Monads on symmetric monoidal closed categories, Arch. der Math.2.1 (1970), p. 1-10. Zbl0196.03403MR260825
  11. [11] A. Kock, Bilinearity and cartesian closed monads, Math. Scand. (1971), p. 161-174. Zbl0253.18006MR310038
  12. [12] A. Kock, Closed categories generated by commutative monads, J. Austr. Math. Soc.12 (1971), p.405-424. Zbl0244.18007MR296129
  13. [13] J. Lambek, Deductive systems and Categories III, Lecture notes274, Springer (1972). Zbl0244.18006MR349356
  14. [14] J. Lambek, Functional completeness of cartesian categories, à paraître (1973). Zbl0282.18004MR340366

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.