Quantales and (noncommutative) linear logic
From MaRDI portal
Publication:3478401
Recommendations
- Noncommutative linear logic and its quantale semantics
- Non-commutative logical algebras and algebraic quantales
- Quantized linear logic, involutive quantales and strong negation
- On noncommutative extensions of linear logic
- Non‐commutative intuitionistic linear logic
- scientific article; zbMATH DE number 5295711
- Relations and non-commutative linear logic
- Quantitative domains, groupoids and linear logic
- scientific article; zbMATH DE number 2015268
- scientific article; zbMATH DE number 46487
Cited in
(only showing first 100 items - show all)- The conjoinability relation in Lambek calculus and linear logic
- Convergence and quantale-enriched categories
- Orthomodular lattices and quantales
- Lambek's syntactic calculus and noncommutative variants of linear logic: laws and proof-nets
- Fuzzy Galois connections categorically
- A logical view of composition
- Proper semantics for substructural logics, from a stalker theoretic point of view
- Representation theorems for \(Q\)-algebras
- scientific article; zbMATH DE number 4173040 (Why is no real title available?)
- scientific article; zbMATH DE number 720881 (Why is no real title available?)
- Algebraic and categorical aspects of quantales
- On the quantale of quantic nuclei
- Fibred semantics for feature-based grammar logic
- Decision problems for propositional linear logic
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic
- Soft subexponentials and multiplexing
- From IF to BI. A tale of dependence and separation
- Free \(Q\)-algebras.
- Non-commutative logical algebras and algebraic quantales
- Measure-free conditioning and extensions of additive measures on finite MV-algebras
- On the power-set \(Q\)-algebras
- Projective and injective objects in the category of quantales
- Coreflective hull of finite strong L-topological spaces
- From Petri nets to linear logic
- Equality in linear logic
- Some lattice models of bilinear logic
- Girard quantaloids
- Generalized lower and upper approximations in quantales
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- Non-commutative proof construction: a constraint-based approach
- Completeness results for linear logic on Petri nets
- Semitopological groups, semiclosure semigroups and quantales
- A micrological study of negation
- Quantale algebras as lattice-valued quantales
- Categorial grammars and their logics
- Quantaloidal nuclei, the syntactic congruence and tree automata
- A covering theory for non-involutive set-theoretic solutions to the Yang-Baxter equation
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- Nuclei and conuclei on residuated lattices
- Generalized approximation of substructures in quantales by soft relations
- Chu connections and back diagonals between \(\mathcal{Q}\)-distributors
- Fixed points of adjoint functors enriched in a quantaloid
- Diagonals between \(\mathcal{Q}\)-distributors
- Pseudo-BL algebras and pseudo-effect algebras
- Alexandroff \(L\)-co-topological spaces
- Girard couples of quantales
- The quantic conuclei on quantales
- Characterization of projective quantales
- Roughness and fuzziness in quantales.
- A Concrete Categorical Model for the Lambek Syntactic Calculus
- Relations and non-commutative linear logic
- On derivations of quantales
- A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain
- Constructing \(Q\)-algebras from \(Q\)-modules
- Relational representation theorem for powerset quantales.
- A representation theorem for quantales
- Finite models of some substructural logics
- A geometrical procedure for computing relaxation
- scientific article; zbMATH DE number 5295711 (Why is no real title available?)
- Lambek calculus is NP-complete
- On \((\odot, \operatorname{\&})\)-fuzzy rough sets based on residuated and co-residuated lattices
- On noncommutative extensions of linear logic
- Dual quantum B-algebras
- Topological representation and quantic separation axioms of semi-quantales
- Tropological systems are points of quantales
- Generalized approximations of \(( \in ,\in \vee q) \)-fuzzy ideals in quantales
- \(*\)-autonomous categories of bimodules
- Representation Theorems for Quantales
- Noncommutative linear logic and its quantale semantics
- Quantal sets and sheaves over quantales
- On cyclic star-autonomous categories
- On quantaloids and quantal categories
- Linear Läuchli semantics
- Residuated frames with applications to decidability
- Precoherent quantale completions of partially ordered semigroups
- On Lambek's restriction in the presence of exponential modalities
- Deciding Equations in the Time Warp Algebra
- A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic
- Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives
- The completions of multi-posets and quantum B-algebras
- Study of behaviours via visitable paths
- Autonomous posets and quantales
- 1998 European Summer Meeting of the Association for Symbolic Logic
- Frobenius quantales, Serre quantales and the Riemann-Roch theorem
- On involutive nonassociative Lambek calculus
- A non commutative generalization of *-autonomous lattices
- Parsing pregroup grammars and Lambek calculus using partial composition
- Proof-search in type-theoretic languages: An introduction
- On sheaf cohomology and natural expansions
- Subexponentials in non-commutative linear logic
- Recognizability in residuated lattices
- Quantum B-algebras with involutions
- Language-theoretic and finite relation models for the (full) Lambek calculus
- A categorical model of predicate linear logic
- Proof-search and proof nets in mixed linear logic
- Meeting strength in substructural logics
- Lambek calculus with a unit and one division
- The points and diameters of quantales
- Multiplicative linear logics and fibrations
- On the cancellation problem for quantales
This page was built for publication: Quantales and (noncommutative) linear logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3478401)
