Non‐commutative intuitionistic linear logic

DOI10.1002/malq.19900360405zbMath0810.03005OpenAlexW2054571652MaRDI QIDQ3971583

V. Michele Abrusci

Publication date: 25 June 1992

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19900360405

zbMATH Keywords

noncommutative version of intuitionistic linear propositional logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (12)

The finite model property for various fragments of intuitionistic linear logic ⋮ Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic ⋮ European Summer Meeting of the Association for Symbolic Logic ⋮ Proof Theory of Partially Normal Skew Monoidal Categories ⋮ Chu spaces as a semantic bridge between linear logic and mathematics. ⋮ Monoidal logics: completeness and classical systems ⋮ Dynamic non-commutative logic ⋮ Phase semantics for a pure noncommutative linear propositional logic ⋮ Gentzen-type calculi for involutive quantales ⋮ Contrary-to-duty reasoning: a categorical approach ⋮ A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. ⋮ Towards a semantic characterization of cut-elimination

This page was built for publication: Non‐commutative intuitionistic linear logic