Pages that link to "Item:Q2774267"
From MaRDI portal
The following pages link to Noncommutative linear logic and its quantale semantics (Q2774267):
Displaying 24 items.
- Topological representation and quantic separation axioms of semi-quantales (Q334570) (← links)
- Nuclei and conuclei on residuated lattices (Q549349) (← links)
- Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids (Q812560) (← links)
- Non-commutative Łukasiewicz propositional logic (Q818518) (← links)
- The equivalence between fuzzy Mealy and fuzzy Moore machines (Q862553) (← links)
- Nonmodal classical linear predicate logic is a fragment of intuitionistic linear logic (Q1193657) (← links)
- Phase semantics for a pure noncommutative linear propositional logic (Q1288431) (← links)
- The points and diameters of quantales (Q1617061) (← links)
- Quantized linear logic, involutive quantales and strong negation (Q1770594) (← links)
- Projective and injective objects in the category of quantales (Q1861462) (← links)
- Relations and non-commutative linear logic (Q1910723) (← links)
- Dynamic non-commutative logic (Q2268354) (← links)
- Dual quantum B-algebras (Q2318567) (← links)
- A categorical approach to lattice-valued fuzzy automata (Q2492335) (← links)
- Equality in linear logic (Q2735816) (← links)
- Quantales and (noncommutative) linear logic (Q3478401) (← links)
- (Q3509054) (← links)
- Non‐commutative intuitionistic linear logic (Q3971583) (← links)
- Autonomous posets and quantales (Q4304551) (← links)
- (Q4608683) (← links)
- (Q4941998) (← links)
- On noncommutative extensions of linear logic (Q4972728) (← links)
- Non-commutative Quantales for Many-Valuedness in Applications (Q5115753) (← links)
- (Q5389290) (← links)
