Pages that link to "Item:Q4972728"
From MaRDI portal
The following pages link to On noncommutative extensions of linear logic (Q4972728):
Displaying 17 items.
- Non-commutative Łukasiewicz propositional logic (Q818518) (← links)
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (Q1398479) (← links)
- Relations and non-commutative linear logic (Q1910723) (← links)
- Dynamic non-commutative logic (Q2268354) (← links)
- Quantales and (noncommutative) linear logic (Q3478401) (← links)
- (Q3509054) (← links)
- Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic (Q3984416) (← links)
- (Q4263858) (← links)
- (Q4608683) (← links)
- (Q4941998) (← links)
- Pomset Logic (Q5014600) (← links)
- (Q5014808) (← links)
- REXPANSIONS OF NONDETERMINISTIC MATRICES AND THEIR APPLICATIONS IN NONCLASSICAL LOGICS (Q5381035) (← links)
- (Q5448295) (← links)
- Non-commutative propositional logic with short-circuit evaluation (Q5862001) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
- Flag: a self-dual modality for non-commutative contraction and duplication in the category of coherence spaces (Q6657789) (← links)