This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Babaev A.A. (Бабаев А.А.): Вавенство морфизмов и теорема когерентности для визамкнутых категорий. Зап. научн. семинаров ленингр. отд. Матем. ин-та АН СССР, 105, с. 3–9
Kelly G.M., MacLane S.: Coherence in closed categories. J. Pure and Appl. Alg. 1(1971), p.97–140
Lambek J.: Deductive systems and categories II. Lecture Notes in Math., 76(1969), p.76–122
Mints G. E. (Минц Г.Е.): Замкнутые категории и теория доказательств.Зап. научн. семинаров Ленингр. отд. Матем. ин.-та АН СССР, 68(1977), с.83–114
Mints G.E. (Минц Г.Е.): Твория категории и теория доказательств. В кн. Актуальные провлемы логики и методологии науки. Киев, (1979)
Solovyev S.V.: On decreasing the formula's depth in proof theory and category theory. In: 8th International Congr. of Log., Methodol. and Phil. Sci., Moscow, 17–22 aug.(1987), 5,pt.1, p. 70–74
Soloviev S.V.: On the conditions of full coherence in closed categories. LIIAN preprints, Leningrad, (1989)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Babaev, A.A., Soloviev, S.V. (1990). On conditions of full coherence in biclosed categories: A new application of proof theory. In: Martin-Löf, P., Mints, G. (eds) COLOG-88. COLOG 1988. Lecture Notes in Computer Science, vol 417. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52335-9_44
Download citation
DOI: https://doi.org/10.1007/3-540-52335-9_44
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52335-2
Online ISBN: 978-3-540-46963-6
eBook Packages: Springer Book Archive