scientific article
From MaRDI portal
Publication:3879417
zbMath0438.18002MaRDI QIDQ3879417
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
natural deduction2-categoryproof-theoryweak adjointLax 2-functorLax 2-natural transformationRax and Lax adjunction
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categorical logic, topoi (03G30) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Foundations, relations to logic and deductive systems (18A15) Proof theory and constructive mathematics (03F99)
Related Items (5)
Stabilizing quantum disjunction ⋮ The naturality of natural deduction ⋮ Pre-adjunctions in order enriched categories ⋮ A refined interpretation of intuitionistic logic by means of atomic polymorphism ⋮ The naturality of natural deduction. II: on atomic polymorphism and generalized propositional connectives
This page was built for publication:
