Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Lambek, J.: Deductive systems and categories, I. Math. Systems Theory, 2, (1968), 287–318
Mann, C.R.: The connection between equivalence of proofs and cartesian closed categories. Proc. London Math. Soc. (3), 31 (1975), 289–310
Prawitz, D.: Ideas and results in proof theory. Proc. 2nd Scandinavian Logic Symposium, 235–307. North-Holland 1971
PaiSeely, R.: Hyperdoctrines and the proof theory of first order logic. Proc. Oxford Logic Colloquium, 1976. Abstracts: J. Symbolic Logic, 42 (1977), 470–471
Seely, R.: Hyperdoctrines and Natural Deduction. Doctoral dissertation: University of Cambridge, 1977
Szabo, M.E.: Algebra of Proofs. North-Holland 1977
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag
About this chapter
Cite this chapter
Seely, R.A.G. (1979). Weak adjointness in proof theory. In: Fourman, M., Mulvey, C., Scott, D. (eds) Applications of Sheaves. Lecture Notes in Mathematics, vol 753. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0061840
Download citation
DOI: https://doi.org/10.1007/BFb0061840
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09564-4
Online ISBN: 978-3-540-34849-8
eBook Packages: Springer Book Archive