9 results
Free compact 2-categories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 17 / Issue 2 / April 2007
- Published online by Cambridge University Press:
- 01 April 2007, pp. 309-340
-
- Article
- Export citation
Normalisation of the Theory T of Cartesian Closed Categories and Conservativity of Extensions T[x] of T
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 3 / May 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 227-257
- Print publication:
- May 1999
-
- Article
- Export citation
Aubert Daigneault. Introduction. Studies in algebraic logic, edited by Aubert Daigneault, Studies in mathematics, vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, pp. 1–5. - William Craig. Unification and abstraction in algebraic logic. Studies in algebraic logic, edited by Aubert Daigneault, Studies in mathematics, vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, pp. 6–57. - J. Donald Monk. Connections between combinatorial theory and algebraic logic. Studies in algebraic logic, edited by Aubert Daigneault, Studies in mathematics, vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, pp. 58–91. - Helena Rasiowa. Post algebras as a semantic foundation of m-valued logics. Studies in algebraic logic, edited by Aubert Daigneault, Studies in mathematics, vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, pp. 92–142. - Gonzalo E. Reyes. From sheaves to logic. Studies in algebraic logic, edited by Aubert Daigneault, Studies in mathematics, vol. 9, The Mathematical Association of America, [Washington, D.C.], 1974, pp. 143–204.
-
- Journal:
- The Journal of Symbolic Logic / Volume 43 / Issue 1 / March 1978
- Published online by Cambridge University Press:
- 12 March 2014, pp. 145-147
- Print publication:
- March 1978
-
- Article
- Export citation
Helena Rasiowa. An algebraic approach to non-classical logics. Studies in logic and the foundations of mathematics, vol. 78. North-Holland Publishing Company, Amsterdam and London, and American Elsevier Publishing Company, Inc., New York, 1974, xv + 403 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 42 / Issue 3 / September 1977
- Published online by Cambridge University Press:
- 12 March 2014, p. 432
- Print publication:
- September 1977
-
- Article
- Export citation
Lawvere's basic theory of the category of categories
-
- Journal:
- The Journal of Symbolic Logic / Volume 40 / Issue 1 / March 1975
- Published online by Cambridge University Press:
- 12 March 2014, pp. 14-18
- Print publication:
- March 1975
-
- Article
- Export citation
S. R. Kogalovskij. Univérsal'nyé klassy modéléj (Universal classes of models). Doklady Akadémii Nauk SSSR, vol. 124 (1959), pp. 260–263. - Tadashi Ohkuma. Ultrapowers in categories. The Yokohama mathematical journal, vol. 14 nos. 1–2 (1966), pp. 17–37.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
- Print publication:
- June 1972
-
- Article
- Export citation
Peter Freyd. The theories of functors and models. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 107–120.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 336
- Print publication:
- June 1971
-
- Article
- Export citation
F. William Lawvere. Algebraic theories, algebraic categories, and algebraic functors. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 413–418.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 2 / June 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 336-337
- Print publication:
- June 1971
-
- Article
- Export citation
Henri Moscovici and Dan Radu. Application de la théorie des catégories dans la logique formelle. Revue roumaine de mathématiques pures et appliquées, vol. 9 (1964), pp. 971–977.
-
- Journal:
- The Journal of Symbolic Logic / Volume 35 / Issue 2 / June 1970
- Published online by Cambridge University Press:
- 12 March 2014, p. 329
- Print publication:
- June 1970
-
- Article
- Export citation