scientific article; zbMATH DE number 1373514

zbMath0932.03075MaRDI QIDQ4704202

Robert R. Schneck

Publication date: 2 December 1999

Full work available at URL: https://eudml.org/doc/120143

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

monoidal categoriesproof netscategorical proof theorydecision procedureequivalence of proofsnoncommutative negation-free multiplicative linear logicnonsymmetric linearly distributive categories

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Categorification, term rewriting and the Knuth-Bendix procedure

This page was built for publication: