scientific article

zbMATH Open1002.18001arXivmath/0111061MaRDI QIDQ3153199FDOQ3153199

Authors: Kosta Došen 

Publication date: 5 November 2002

Full work available at URL: https://arxiv.org/abs/math/0111061

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3985475
• scientific article; zbMATH DE number 4010480
• scientific article; zbMATH DE number 3904559
• scientific article; zbMATH DE number 3952011
• scientific article; zbMATH DE number 4103048

zbMATH Keywords

functional completenessCartesian closed categoriesextensionalitycomprehensionpolynomial categorycategorial proof theory

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Foundations, relations to logic and deductive systems (18A15) Proof theory and constructive mathematics (03F99)

Cited In (10)

• Composition of deductions within the propositions-as-types paradigm
• Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
• Title not available (Why is that?)
• Gödel on deduction
• Models of deduction
• Title not available (Why is that?)
• Inferential Semantics
• Generalized adjunction and applications
• Title not available (Why is that?)
• THE APPLICATION OF A CHARACTERIZATION OF ADJUNCTIONS

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3153199)