Pages that link to "Item:Q3478401"

The following pages link to Quantales and (noncommutative) linear logic (Q3478401):

Displaying 50 items.

• Fibred semantics for feature-based grammar logic (Q1923842) (← links)
• On quantaloids and quantal categories (Q1925170) (← links)
• Relation algebras as expanded FL-algebras (Q1936489) (← links)
• On the quantale of quantic nuclei (Q2009229) (← links)
• The completions of multi-posets and quantum B-algebras (Q2041251) (← links)
• On sheaf cohomology and natural expansions (Q2054954) (← links)
• Soft subexponentials and multiplexing (Q2096472) (← links)
• Frobenius quantales, Serre quantales and the Riemann-Roch theorem (Q2118970) (← links)
• Coproduct and amalgamation of deductive systems by means of ordered algebras (Q2169140) (← links)
• A categorical model of predicate linear logic (Q2201096) (← links)
• Quantale-valued dissimilarity (Q2219183) (← links)
• Generalized approximation of substructures in quantales by soft relations (Q2301033) (← links)
• Precoherent quantale completions of partially ordered semigroups (Q2308108) (← links)
• Some studies in the approximation of \((\in_\gamma, \in_\gamma \vee q_\delta)\)-fuzzy substructures in quantales (Q2310477) (← links)
• Dual quantum B-algebras (Q2318567) (← links)
• Fixed points of adjoint functors enriched in a quantaloid (Q2398177) (← links)
• Language-theoretic and finite relation models for the (full) Lambek calculus (Q2398205) (← links)
• On involutive nonassociative Lambek calculus (Q2425321) (← links)
• Proper semantics for substructural logics, from a stalker theoretic point of view (Q2426733) (← links)
• Type logics and pregroups (Q2467212) (← links)
• Parsing pregroup grammars and Lambek calculus using partial composition (Q2467213) (← links)
• Lambek calculus is NP-complete (Q2500488) (← links)
• \(\bigstar\)-autonomous lattices and fuzzy sets (Q2500766) (← links)
• Non-commutative proof construction: a constraint-based approach (Q2503402) (← links)
• Orthomodular lattices and quantales (Q2505962) (← links)
• Lambek calculus with a unit and one division (Q2513229) (← links)
• Gentzen-type calculi for involutive quantales (Q2575479) (← links)
• Unitless Frobenius quantales (Q2680596) (← links)
• Effect algebras, Girard quantales and complementation in separation logic (Q2695344) (← links)
• Proof-search and proof nets in mixed linear logic (Q2703720) (← links)
• Equality in linear logic (Q2735816) (← links)
• Noncommutative linear logic and its quantale semantics (Q2774267) (← links)
• Finite models of some substructural logics (Q2776810) (← links)
• Characterization of projective quantales (Q2811986) (← links)
• Bell states and negative sentences in the distributed model of meaning (Q2825369) (← links)
• Undecidability of the Lambek Calculus with a Relevant Modality (Q2835058) (← links)
• Multiplicative linear logics and fibrations (Q2842824) (← links)
• Relational Representation Theorem for Powerset Quantales (Q2915145) (← links)
• Strong negation in intuitionistic style sequent systems for residuated lattices (Q2922496) (← links)
• On Classical Nonassociative Lambek Calculus (Q2963995) (← links)
• Non-crossing Tree Realizations of Ordered Degree Sequences (Q2964006) (← links)
• Algebraic and Categorical Aspects of Quantales (Q3053874) (← links)
• (Q3197878) (← links)
• (Q3509054) (← links)
• Fuzzy Galois connections categorically (Q3552389) (← links)
• A non commutative generalization of *-autonomous lattices (Q3624914) (← links)
• (Q3996704) (← links)
• Girard quantaloids (Q4006239) (← links)
• 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
• Representation Theorems for Quantales (Q4304104) (← links)