Non‐commutative intuitionistic linear logic
From MaRDI portal
Publication:3971583
DOI10.1002/MALQ.19900360405zbMATH Open0810.03005OpenAlexW2054571652MaRDI QIDQ3971583FDOQ3971583
Authors: 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
Recommendations
- scientific article; zbMATH DE number 1342286
- A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
- Noncommutative linear logic and its quantale semantics
- Relations and non-commutative linear logic
- Phase semantics for a pure noncommutative linear propositional logic
Cited In (28)
- The finite model property for various fragments of intuitionistic linear logic
- Noncommutative linear logic and its quantale semantics
- Title not available (Why is that?)
- Relations and non-commutative linear logic
- Phase semantics for a pure noncommutative linear propositional logic
- Title not available (Why is that?)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
- On the Lambek calculus with an exchange modality
- Chu spaces as a semantic bridge between linear logic and mathematics.
- Non-commutative Łukasiewicz propositional logic
- Dynamic non-commutative logic
- Non-commutative classical arithmetical sequent calculi are intuitionistic
- European Summer Meeting of the Association for Symbolic Logic
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
- Gentzen-type calculi for involutive quantales
- Non-commutative logic for compositional distributional semantics
- Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic
- Towards a semantic characterization of cut-elimination
- On noncommutative extensions of linear logic
- Non-Commutative First-Order Sequent Calculus
- Normalization by evaluation for the lambek calculus
- Proof theory of skew non-commutative \texttt{MILL}
- Title not available (Why is that?)
- Monoidal logics: completeness and classical systems
- Proof Theory of Partially Normal Skew Monoidal Categories
- Quantales and (noncommutative) linear logic
- Non-commutative propositional logic with short-circuit evaluation
- Contrary-to-duty reasoning: a categorical approach
This page was built for publication: Non‐commutative intuitionistic linear logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3971583)
