scientific article
From MaRDI portal
Publication:3376920
zbMath1153.03003MaRDI QIDQ3376920
Publication date: 27 March 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20) Foundations, relations to logic and deductive systems (18A15)
Related Items
Coherence in SMCCs and equivalences on derivations in IMML with unit, Gödel on deduction, An Analytic Propositional Proof System on Graphs, Coherence via focusing for symmetric skew monoidal categories, Medial commutativity, The placeholder view of assumptions and the Curry-Howard correspondence, Coherence for closed categories with biproducts, Equality of proofs for linear equality, Gödel's natural deduction, Towards Hilbert's 24th Problem: Combinatorial Proof Invariants, Coherence for modalities, Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions, Coherence for star-autonomous categories, The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem, Unnamed Item, Prawitz, Proofs, and Meaning, Inferential Semantics, Coherence in linear predicate logic, Associativity as commutativity, A simple permutoassociahedron, Aspects of Categorical Recursion Theory
