Noncommutative linear logic and its quantale semantics

MaRDI QIDQ2774267zbMATH OpenFDO

Authors Yongming Li

Publication date 28 February 2002

Published in Journal of Shaanxi Normal University. Natural Science Edition (Search for Journal in Brave)

zbMATH Keywords

dual quantale semanticsnoncommutative linear logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Quantales (06F07)

Recommendations

• Relations and non-commutative linear logic
• Quantales and (noncommutative) linear logic
• Non‐commutative intuitionistic linear logic
• Non-commutative logic. I: The multiplicative fragment
• Phase semantics for a pure noncommutative linear propositional logic

Cited in

(31)

• Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic
• Phase semantics for a pure noncommutative linear propositional logic
• The points and diameters of quantales
• Quantized linear logic, involutive quantales and strong negation
• Projective and injective objects in the category of quantales
• Relations and non-commutative linear logic
• Dynamic non-commutative logic
• Dual quantum B-algebras
• A categorical approach to lattice-valued fuzzy automata
• Equality in linear logic
• Topological representation and quantic separation axioms of semi-quantales
• Quantales and (noncommutative) linear logic
• scientific article; zbMATH DE number 5295711 (Why is no real title available?)
• Non‐commutative intuitionistic linear logic
• Autonomous posets and quantales
• scientific article; zbMATH DE number 1114036 (Why is no real title available?)
• scientific article; zbMATH DE number 1114352 (Why is no real title available?)
• scientific article; zbMATH DE number 1980929 (Why is no real title available?)
• scientific article; zbMATH DE number 6851953 (Why is no real title available?)
• The logic of linear functors
• Quantum Logic in the Framework of Linear Logic
• scientific article; zbMATH DE number 1418443 (Why is no real title available?)
• On noncommutative extensions of linear logic
• Non-commutative Quantales for Many-Valuedness in Applications
• scientific article; zbMATH DE number 6028054 (Why is no real title available?)
• Nuclei and conuclei on residuated lattices
• On a logic of involutive quantales
• Explorations in Subexponential Non-associative Non-commutative Linear Logic
• Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
• Non-commutative Łukasiewicz propositional logic
• The equivalence between fuzzy Mealy and fuzzy Moore machines

This page was built for publication: Noncommutative linear logic and its quantale semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2774267)