@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://archive.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://archive.numdam.org/item/CTGDC_1974__15_1_21_0/ LA - fr ID - CTGDC_1974__15_1_21_0 ER -
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://archive.numdam.org/item/CTGDC_1974__15_1_21_0/
[1] 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] Leçons de logique algébrique, Gauthiers - Villars et Nauwelaerts, Paris et Louvain, 1952. | MR | Zbl
,[3] C.R.A.S. 225 (1947), p.1241. | MR | Zbl
,[4] 226 (1948), p.38. | MR
, C.R.A.S.[5] Algèbre, C.D.U., Paris, 1968.
,[6] Closed categories, Proc. Conf. Cat. Algebra of La Jolla, Springer, Berlin, 1966. | MR | Zbl
et ,[7] Aspects of Topoi, Bull. Austr. Math. Soc. (1972), p.1-76. | MR | Zbl
,[8] Sur quelques points de la logique de M. Brouwer, Acad. Belg. Bull. des Sci. 5s, 15 (1929) p.183-188. | JFM
,[9] Monades involutives complémentées (§8), à paraître dans Cahiers Topo. et Géom. dif. | EuDML | Numdam | Zbl
,[10] Monads on symmetric monoidal closed categories, Arch. der Math. 2.1 (1970), p. 1-10. | MR | Zbl
,[11] Bilinearity and cartesian closed monads, Math. Scand. (1971), p. 161-174. | MR | Zbl
,[12] Closed categories generated by commutative monads, J. Austr. Math. Soc. 12 (1971), p.405-424. | MR | Zbl
,[13] Deductive systems and Categories III, Lecture notes 274, Springer (1972). | MR | Zbl
,[14] Functional completeness of cartesian categories, à paraître (1973). | MR | Zbl
,