Non‐commutative intuitionistic linear logic

DOI10.1002/MALQ.19900360405MaRDI QIDQ3971583zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

noncommutative version of intuitionistic linear propositional logic

Mathematics Subject Classification ID

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

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

(29)

• A uniform semantic proof for cut-elimination and completeness of various first and higher order logics.
• On the Lambek calculus with an exchange modality
• Proof Theory of Partially Normal Skew Monoidal Categories
• Chu spaces as a semantic bridge between linear logic and mathematics.
• scientific article; zbMATH DE number 6028054 (Why is no real title available?)
• Contrary-to-duty reasoning: a categorical approach
• Non-commutative logic for compositional distributional semantics
• Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic
• scientific article; zbMATH DE number 1342270 (Why is no real title available?)
• scientific article; zbMATH DE number 6851953 (Why is no real title available?)
• Towards a semantic characterization of cut-elimination
• The finite model property for various fragments of intuitionistic linear logic
• European Summer Meeting of the Association for Symbolic Logic
• Monoidal logics: completeness and classical systems
• Non-Commutative First-Order Sequent Calculus
• Explorations in Subexponential Non-associative Non-commutative Linear Logic
• Relations and non-commutative linear logic
• Quantales and (noncommutative) linear logic
• Non-commutative propositional logic with short-circuit evaluation
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Dynamic non-commutative logic
• Gentzen-type calculi for involutive quantales
• On noncommutative extensions of linear logic
• Non-commutative classical arithmetical sequent calculi are intuitionistic
• Noncommutative linear logic and its quantale semantics
• Non-commutative Łukasiewicz propositional logic
• Phase semantics for a pure noncommutative linear propositional logic
• Normalization by evaluation for the lambek calculus
• Proof theory of skew non-commutative \texttt{MILL}

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)