A coherence theorem for canonical morphisms in Cartesian closed categories

DOI10.1007/BF01629434zbMath0493.03032MaRDI QIDQ1168319

S. Singh

Publication date: 1982

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

zbMATH Keywords

derivations; Cartesian closed category; fragment of intuitionistic propositional calculus

Mathematics Subject Classification ID

18D15: Closed categories (closed monoidal and Cartesian closed categories, etc.)

03F55: Intuitionistic mathematics

03F20: Complexity of proofs

18A15: Foundations, relations to logic and deductive systems