Gorton, R.
A-systems
Compositio Mathematica, Tome 33 (1976) no. 1 , p. 3-13
Zbl 0338.20091 | MR 435264
URL stable : http://www.numdam.org/item?id=CM_1976__33_1_3_0

Bibliographie

[1] Clifford, A.H. and G.B. Preston: The algebraic theory of semigroups. I. Am. Math. Soc. Math. Surveys No. 7, Providence, 1961. MR 132791 | Zbl 0111.03403

[2] Curry, H.B.: An analysis of logical substitution. Am. J. Math. 51 (1929) 363-384. JFM 55.0033.01 | MR 1506723

[3] Curry, H.B. and R. Feys: Combinatory logic. Amsterdam 1958.

[4] Davis, A.S.: An axiomatization of the algebra of transformations over a set. Math. Ann. 164 (1966) 372-377. MR 201362 | Zbl 0151.00702

[5] Gorton, R.: The algebra of atoms. Math. Jap. 17 (1972) 105-111. MR 327961 | Zbl 0265.20060

[6] Johnson, H.H.: Realizations of abstract algebras of functions. Math. Ann. 142 (1961) 317-321. MR 122901 | Zbl 0095.10102

[7] Mannos, M.: Ideals in tri-operational algebra. Reports Math. Coll., 2nd series, Notre Dame 7 (1946) 73-79. MR 16746 | Zbl 0060.06612

[8] Menger, K.: Algebra of analysis. Notre Dame Math. Lect. 3 (1944). MR 11280 | Zbl 0060.06606

[9] Menger, K.: Tri-operational algebra. Reports Math. Coll., 2nd series, Notre Dame 5-6 (1945) 3-10. MR 11281 | Zbl 0060.06607

[10] Menger, K.: General algebra of analysis. Reports Math. Coll. 2nd series, Notre Dame 7 (1946) 46-60. MR 16743 | Zbl 0060.06609

[11] Menger, K.: Calculus. A modern approach. Boston: Ginn 1955. MR 72916 | Zbl 0065.03302

[12] Menger, K.: An axiomatic theory of functions and fluents. The axiomatic method. L. Henkin et al Eds., Amsterdam: North-Holland Publishing Co. (1959) 454-473. MR 111678 | Zbl 0087.26802

[13] Menger, K.: Algebra of functions: past, present, future. Rend. Mat. Roma 20 (1961) 409-430. MR 141618 | Zbl 0113.03904

[14] Menger, K.: Superassociative systems and logical functors. Math. Ann. 157 (1964) 278-295. MR 177928 | Zbl 0126.03601

[15] Nöbauer, W.: Über die Operation des Einsetzens in Polynomringen. Math. Ann. 134 (1958) 248-259. MR 98087 | Zbl 0083.03104

[16] Schönfinkel, M.: Über die Bausteine der mathematischen Logik, Math. Ann. 92 (1924) 305-316. JFM 50.0023.01 | MR 1512218

[17] Schweizer, B. and A. Sklar: The algebra of functions. Math. Ann. 139 (1960) 366-382. MR 114867 | Zbl 0095.10101

[18] Schweizer, B. and A. Sklar: The algebra of functions II. Math. Ann. 143 (1961) 440-447. MR 124425 | Zbl 0099.31901

[19] Schweizer, B. and A. Sklar: A mapping algebra with infinitely many operations, Coll. Math. 9 (1962) 33-38. MR 133275 | Zbl 0103.24903

[20] Schweizer, B. and A. Sklar: The algebra of functions III. Math. Ann. 161 (1965) 171-196. MR 190254 | Zbl 0134.12602

[21] Schweizer, B. and A. Sklar: Function systems. Math. Ann. 172 (1967) 1-16. MR 213273 | Zbl 0163.01403

[22] Whitlock, H.I.: A composition algebra for multiplace functions. Math. Ann. 157 (1964) 167-178. MR 173647 | Zbl 0126.03501