Relations and non-commutative linear logic
type: Item
instance of: scholarly article
title: Relations and non-commutative linear logic
zbMATH Open document ID: 0841.03002
DOI: 10.1016/0022-4049(94)00147-2
author: Carolyn Brown
author: Doug Gurr
published in: Journal of Pure and Applied Algebra
publication date: 1996-03-20T00:00:00Z
Mathematics Subject Classification ID: 03B20
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 06F05
zbMATH DE Number: 858613
zbMATH Keywords: sequent calculus
zbMATH Keywords: non-commutative intuitionistic linear logic
zbMATH Keywords: cut elimination
zbMATH Keywords: relational quantales
MaRDI profile type: Publication
full work available at URL: 0022-4049(94)00147-2
OpenAlex ID: W2047562642
cites work: Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
cites work: Natural deduction and coherence for weakly distributive categories
cites work: A representation theorem for quantales
cites work: Linear logic
cites work: Q3791120
cites work: Q3994895
cites work: The weakest prespecification
cites work: Q3965241
cites work: Decision problems for propositional linear logic
cites work: Q3771067
cites work: Constructing locales from quantales
cites work: Q3996704
cites work: Quantales and (noncommutative) linear logic
Recommended article: Non‐commutative intuitionistic linear logic
Recommended article: On noncommutative extensions of linear logic
Recommended article: Noncommutative linear logic and its quantale semantics
Recommended article: Q2943193
Recommended article: Quantales and (noncommutative) linear logic
Recommended article: Non-associative, non-commutative multi-modal linear logic
Recommended article: Non-commutative logical algebras and algebraic quantales
Recommended article: Non-commutative first-order EQ-logics
Recommended article: Q4362880
Recommended article: Non-commutative Multiple-Valued Logic Algebras
description: scientific article; zbMATH DE number 858613