Pages that link to "Item:Q3478401"
From MaRDI portal
The following pages link to Quantales and (noncommutative) linear logic (Q3478401):
Displaying 50 items.
- Free \(Q\)-algebras. (Q279346) (← links)
- On the power-set \(Q\)-algebras (Q284662) (← links)
- On derivations of quantales (Q317877) (← links)
- Topological representation and quantic separation axioms of semi-quantales (Q334570) (← links)
- A micrological study of negation (Q345707) (← links)
- Non-commutative logical algebras and algebraic quantales (Q386648) (← links)
- Generalized lower and upper approximations in quantales (Q411063) (← links)
- Coreflective hull of finite strong L-topological spaces (Q429395) (← links)
- On cyclic star-autonomous categories (Q456839) (← links)
- Nuclei and conuclei on residuated lattices (Q549349) (← links)
- Measure-free conditioning and extensions of additive measures on finite MV-algebras (Q622033) (← links)
- Alexandroff \(L\)-co-topological spaces (Q622034) (← links)
- Representation theorems for \(Q\)-algebras (Q666689) (← links)
- A logical view of composition (Q685416) (← links)
- Roughness and fuzziness in quantales. (Q726315) (← links)
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular (Q732053) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- Pseudo-BL algebras and pseudo-effect algebras (Q834446) (← links)
- Chu connections and back diagonals between \(\mathcal{Q}\)-distributors (Q899562) (← links)
- A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain (Q969587) (← links)
- Girard couples of quantales (Q969691) (← links)
- A geometrical procedure for computing relaxation (Q1011756) (← links)
- The quantic conuclei on quantales (Q1040655) (← links)
- Quantaloidal nuclei, the syntactic congruence and tree automata (Q1184038) (← links)
- Decision problems for propositional linear logic (Q1192352) (← links)
- A representation theorem for quantales (Q1208239) (← links)
- Phase semantics for a pure noncommutative linear propositional logic (Q1288431) (← links)
- The conjoinability relation in Lambek calculus and linear logic (Q1334986) (← links)
- Meeting strength in substructural logics (Q1344870) (← links)
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- Completeness results for linear logic on Petri nets (Q1361243) (← links)
- Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives (Q1398470) (← links)
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic (Q1398479) (← links)
- Non-commutative logic. III: Focusing proofs. (Q1427855) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- Tropological systems are points of quantales (Q1612161) (← links)
- The points and diameters of quantales (Q1617061) (← links)
- A covering theory for non-involutive set-theoretic solutions to the Yang-Baxter equation (Q1632456) (← links)
- Quantale algebras as lattice-valued quantales (Q1701738) (← links)
- Generalized approximations of \(( \in ,\in \vee q) \)-fuzzy ideals in quantales (Q1715731) (← links)
- \(\bigstar\)-autonomous lattices (Q1780899) (← links)
- On \((\odot, \operatorname{\&})\)-fuzzy rough sets based on residuated and co-residuated lattices (Q1794875) (← links)
- Semitopological groups, semiclosure semigroups and quantales (Q1795315) (← links)
- MV-algebras embedded in a CL-algebra (Q1818106) (← links)
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic (Q1840462) (← links)
- Projective and injective objects in the category of quantales (Q1861462) (← links)
- Quantal sets and sheaves over quantales (Q1897895) (← links)
- Some lattice models of bilinear logic (Q1906000) (← links)
- Relations and non-commutative linear logic (Q1910723) (← links)
- Linear Läuchli semantics (Q1919529) (← links)
