Skip to main content
SpringerLink
Log in
Book cover

International Conference on Computer Logic

COLOG 1988: COLOG-88 pp 3–8Cite as

On conditions of full coherence in biclosed categories: A new application of proof theory

  • Conference paper
  • First Online:

  • 177 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 417))

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Babaev A.A. (Бабаев А.А.): Вавенство морфизмов и теорема когерентности для визамкнутых категорий. Зап. научн. семинаров ленингр. отд. Матем. ин-та АН СССР, 105, с. 3–9

    Google Scholar 

  2. Kelly G.M., MacLane S.: Coherence in closed categories. J. Pure and Appl. Alg. 1(1971), p.97–140

    Google Scholar 

  3. Lambek J.: Deductive systems and categories II. Lecture Notes in Math., 76(1969), p.76–122

    Google Scholar 

  4. Mints G. E. (Минц Г.Е.): Замкнутые категории и теория доказательств.Зап. научн. семинаров Ленингр. отд. Матем. ин.-та АН СССР, 68(1977), с.83–114

    Google Scholar 

  5. Mints G.E. (Минц Г.Е.): Твория категории и теория доказательств. В кн. Актуальные провлемы логики и методологии науки. Киев, (1979)

    Google Scholar 

  6. 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

    Google Scholar 

  7. Soloviev S.V.: On the conditions of full coherence in closed categories. LIIAN preprints, Leningrad, (1989)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute for Mathematics and Mechanics, Academy of Science of Aserbaijan SSR, GSP-602, F.Agaev str. 553, 870602, Baku, USSR

    A. A. Babaev

  2. Leningrad Institute for Informatics and Automatization, Academy of Science of USSR, 14th line, 39, 199178, Leningrad

    S. V. Soloviev

Authors
  1. A. A. Babaev
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. S. V. Soloviev
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Per Martin-Löf Grigori Mints

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation