Sur la réfutabilité
Cahiers de topologie et géométrie différentielle, Tome 15 (1974) no. 1, pp. 21-46. 
@article{CTGDC_1974__15_1_21_0,
     author = {Barth\'el\'emy, Jean-Pierre},
     title = {Sur la r\'efutabilit\'e},
     journal = {Cahiers de topologie et g\'eom\'etrie diff\'erentielle},
     pages = {21--46},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {15},
     number = {1},
     year = {1974},
     mrnumber = {349358},
     zbl = {0327.18008},
     language = {fr},
     url = {http://www.numdam.org/item/CTGDC_1974__15_1_21_0/}
}
TY  - JOUR
AU  - Barthélémy, Jean-Pierre
TI  - Sur la réfutabilité
JO  - Cahiers de topologie et géométrie différentielle
PY  - 1974
SP  - 21
EP  - 46
VL  - 15
IS  - 1
PB  - Dunod éditeur, publié avec le concours du CNRS
UR  - http://www.numdam.org/item/CTGDC_1974__15_1_21_0/
LA  - fr
ID  - CTGDC_1974__15_1_21_0
ER  - 
%0 Journal Article
%A Barthélémy, Jean-Pierre
%T Sur la réfutabilité
%J Cahiers de topologie et géométrie différentielle
%D 1974
%P 21-46
%V 15
%N 1
%I Dunod éditeur, publié avec le concours du CNRS
%U http://www.numdam.org/item/CTGDC_1974__15_1_21_0/
%G fr
%F CTGDC_1974__15_1_21_0
Barthélémy, Jean-Pierre. Sur la réfutabilité. Cahiers de topologie et géométrie différentielle, Tome 15 (1974) no. 1, pp. 21-46. http://www.numdam.org/item/CTGDC_1974__15_1_21_0/

[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] H.B. Curry, Leçons de logique algébrique, Gauthiers - Villars et Nauwelaerts, Paris et Louvain, 1952. | MR | Zbl

[3] P. Destouches-Fevrier, C.R.A.S. 225 (1947), p.1241. | MR | Zbl

[4] P. Destouches-Fevrier, C.R.A.S. 226 (1948), p.38. | MR

[5] C. Ehresmann, Algèbre, C.D.U., Paris, 1968.

[6] S. Eilenberg et G.M. Kelly, Closed categories, Proc. Conf. Cat. Algebra of La Jolla, Springer, Berlin, 1966. | MR | Zbl

[7] P. Freyd, Aspects of Topoi, Bull. Austr. Math. Soc. (1972), p.1-76. | MR | Zbl

[8] V. Glivenko, Sur quelques points de la logique de M. Brouwer, Acad. Belg. Bull. des Sci. 5s, 15 (1929) p.183-188. | JFM

[9] R. Guitart, Monades involutives complémentées (§8), à paraître dans Cahiers Topo. et Géom. dif. | EuDML | Numdam | Zbl

[10] A. Kock, Monads on symmetric monoidal closed categories, Arch. der Math. 2.1 (1970), p. 1-10. | MR | Zbl

[11] A. Kock, Bilinearity and cartesian closed monads, Math. Scand. (1971), p. 161-174. | MR | Zbl

[12] A. Kock, Closed categories generated by commutative monads, J. Austr. Math. Soc. 12 (1971), p.405-424. | MR | Zbl

[13] J. Lambek, Deductive systems and Categories III, Lecture notes 274, Springer (1972). | MR | Zbl

[14] J. Lambek, Functional completeness of cartesian categories, à paraître (1973). | MR | Zbl