On the Paths of Categories

DOI10.1007/978-3-319-22686-6_4OpenAlexW2276098129MaRDI QIDQ5864197

Kosta Došen

Publication date: 3 June 2022

Published in: Advances in Proof-Theoretic Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-22686-6_4

zbMATH Keywords

categorymulticategoryquestiondeductionnatural transformationproof-theoretic semanticspropositionpolycategoryrulecommandgeneral proof theorycategorial proof theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Intuitionistic mathematics (03F55)

Related Items (6)

General proof theory: introduction ⋮ Gödel on deduction ⋮ The placeholder view of assumptions and the Curry-Howard correspondence ⋮ Composition of deductions within the propositions-as-types paradigm ⋮ Gödel's natural deduction ⋮ REPRESENTING CONJUNCTIVE DEDUCTIONS BY DISJUNCTIVE DEDUCTIONS

This page was built for publication: On the Paths of Categories