scientific article; zbMATH DE number 1531367

zbMath0963.68101MaRDI QIDQ4513584

Didier Galmiche, Dominique Larchey-Wendling

Publication date: 28 February 2001

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents

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

zbMATH Keywords

intuitionistic linear logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

A class of join-completions of partially ordered semigroups, Ordinal sum of quantales, The completions of multi-posets and quantum B-algebras, Unnamed Item, Phase semantics and Petri net interpretation for resource-sensitive strong negation, Precoherent quantale completions of partially ordered semigroups, Gentzen-type calculi for involutive quantales