scientific article; zbMATH DE number 4767

zbMath0755.03005MaRDI QIDQ4712651

Andrej Scedrov

Publication date: 25 June 1992

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

zbMATH Keywords

surveylinear logicGentzen-style sequent calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Theory of computing (68Q99)

Related Items (6)

First-order linear logic without modalities is NEXPTIME-hard ⋮ \(*\)-autonomous categories of bimodules ⋮ Linear logic automata ⋮ RASP and ASP as a fragment of linear logic ⋮ Decision problems for propositional linear logic ⋮ Bounded linear logic: A modular approach to polynomial-time computability

This page was built for publication: