scientific article; zbMATH DE number 1823815

MaRDI QIDQ3153199zbMATHFDO

Authors Kosta Došen

Publication date 5 November 2002

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

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
• scientific article; zbMATH DE number 5316130 (Why is no real title available?)
• Adjunction of semifunctors: Categorical structures in nonextensional lambda calculus
• Inferential Semantics
• Models of deduction
• scientific article; zbMATH DE number 512776 (Why is no real title available?)
• THE APPLICATION OF A CHARACTERIZATION OF ADJUNCTIONS
• Generalized adjunction and applications
• scientific article; zbMATH DE number 1066726 (Why is no real title available?)
• Gödel on deduction

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)