scientific article; zbMATH DE number 3683840

MaRDI QIDQ3879417zbMATH OpenFDO

Authors R. A. G. Seely

Publication date 1979

zbMATH Keywords

2-categoryLax 2-functorLax 2-natural transformationnatural deductionproof-theoryRax and Lax adjunctionweak adjoint

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40)

Cited in

(5)

• Stabilizing quantum disjunction
• The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
• A refined interpretation of intuitionistic logic by means of atomic polymorphism
• The naturality of natural deduction
• Pre-adjunctions in order enriched categories

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 Q3879417)