Pages that link to "Item:Q3478401"
From MaRDI portal
The following pages link to Quantales and (noncommutative) linear logic (Q3478401):
Displaying 35 items.
- Autonomous posets and quantales (Q4304551) (← links)
- A Concrete Categorical Model for the Lambek Syntactic Calculus (Q4333469) (← links)
- Convergence and quantale-enriched categories (Q4553296) (← links)
- Regularity vs. constructive complete (co)distributivity (Q4563242) (← links)
- Categorial Grammars and Their Logics (Q4611658) (← links)
- (Q4643962) (← links)
- From Petri nets to linear logic (Q4713398) (← links)
- (Q4792079) (← links)
- Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic (Q4847311) (← links)
- Hopf algebras and linear logic (Q4882498) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- Stochastic Lambek Categorial Grammars (Q4923553) (← links)
- On noncommutative extensions of linear logic (Q4972728) (← links)
- Moore-Penrose equations in involutive residuated semigroups and involutive quantales (Q5005464) (← links)
- (Q5011076) (← links)
- Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets (Q5014592) (← links)
- Extensions of Lambek Calculi (Q5014595) (← links)
- Pomset Logic (Q5014600) (← links)
- Quantum B-algebras with involutions (Q5024537) (← links)
- A polynomial-time algorithm for the Lambek calculus with brackets of bounded order (Q5111318) (← links)
- Non-commutative Quantales for Many-Valuedness in Applications (Q5115753) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- On Lambek’s Restriction in the Presence of Exponential Modalities (Q5283424) (← links)
- On Canonical Embeddings of Residuated Groupoids (Q5414968) (← links)
- Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars (Q5418966) (← links)
- WEIHRAUCH GOES BROUWERIAN (Q5858925) (← links)
- Valued quantum B-algebras (Q6061524) (← links)
- Reflectors to quantales (Q6061529) (← links)
- Diagonals between \(\mathcal{Q}\)-distributors (Q6081541) (← links)
- Constructing \(Q\)-algebras from \(Q\)-modules (Q6083140) (← links)
- On the cancellation problem for quantales (Q6084808) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
- Deciding Equations in the Time Warp Algebra (Q6151556) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
- Substructural nuclear (image-based) logics and operational Kripke-style semantics (Q6597128) (← links)
