Some Properties of Linear Logic Proved by Semantic Methods

DOI10.1093/logcom/4.6.929zbMath0814.03006OpenAlexW1970417212MaRDI QIDQ4323009

Arnon Avron

Publication date: 13 February 1995

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/39d8e2176f04f069ffc940d609668ac59fcc3d11

zbMATH Keywords

algebraic modelsproof-theoretical propertiesfragments of linear logic

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

Constant-only multiplicative linear logic is NP-complete ⋮ \(\bigstar\)-autonomous lattices ⋮ Variations on a theme of Curry ⋮ Proof-search in type-theoretic languages: An introduction

This page was built for publication: Some Properties of Linear Logic Proved by Semantic Methods