Quantales and (noncommutative) linear logic
From MaRDI portal
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)- On sheaf cohomology and natural expansions
- A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain
- Recognizability in residuated lattices
- scientific article; zbMATH DE number 5295711 (Why is no real title available?)
- On the cancellation problem for quantales
- *-autonomous categories of bimodules
- Lambek calculus with a unit and one division
- Gentzen-type calculi for involutive quantales
- Non-commutative Quantales for Many-Valuedness in Applications
- Unitless Frobenius quantales
- Fibred semantics for feature-based grammar logic
- Meeting strength in substructural logics
- Pseudo-BL algebras and pseudo-effect algebras
- Equality in linear logic
- Autonomous posets and quantales
- A representation theorem for quantales
- \(\bigstar\)-autonomous lattices and fuzzy sets
- Finite models of some substructural logics
- On noncommutative extensions of linear logic
- Hopf algebras and linear logic
- MV-algebras embedded in a CL-algebra
- scientific article; zbMATH DE number 720881 (Why is no real title available?)
- The d-elements of precoherent preidempotent quantales and their applications
- Analyticity with extra-logical information
- From Petri nets to linear logic
- A covering theory for non-involutive set-theoretic solutions to the Yang-Baxter equation
- A pointfree analogues of lattice-valued bitopological spaces
- Pomset logic. The other approach to noncommutativity in logic
- Commutative Locative Quantifiers for Multiplicative Linear Logic
- Alexandroff \(L\)-co-topological spaces
- Sequent systems for consequence relations of cyclic linear logics
- Semitopological groups, semiclosure semigroups and quantales
- Some studies in the approximation of \((\in_\gamma, \in_\gamma \vee q_\delta)\)-fuzzy substructures in quantales
- A Concrete Categorical Model for the Lambek Syntactic Calculus
- Proof-search in type-theoretic languages: An introduction
- Construction of unital quantales
- Fuzzy Galois connections categorically
- scientific article; zbMATH DE number 4173040 (Why is no real title available?)
- The quantum monadology
- Orthomodular lattices and quantales
- Reflectors to quantales
- A categorical model of predicate linear logic
- Proof-search and proof nets in mixed linear logic
- On \((\odot, \operatorname{\&})\)-fuzzy rough sets based on residuated and co-residuated lattices
- Relational representation theorem for powerset quantales.
- scientific article; zbMATH DE number 1865920 (Why is no real title available?)
- On involutive nonassociative Lambek calculus
- Girard couples of quantales
- scientific article; zbMATH DE number 7204441 (Why is no real title available?)
- On classical nonassociative Lambek calculus
- Some lattice models of bilinear logic
- Study of behaviours via visitable paths
- On the quantale of quantic nuclei
- scientific article; zbMATH DE number 46487 (Why is no real title available?)
- Quantale-valued dissimilarity
- A micrological study of negation
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
- Convergence and quantale-enriched categories
- Residuated frames with applications to decidability
- Subexponentials in non-commutative linear logic
- 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
- Generalized lower and upper approximations in quantales
- Strong negation in intuitionistic style sequent systems for residuated lattices
- Dual quantum B-algebras
- Noncommutative linear logic and its quantale semantics
- 1998 European Summer Meeting of the Association for Symbolic Logic
- Quantum B-algebras with involutions
- Projective and injective objects in the category of quantales
- Frobenius quantales, Serre quantales and the Riemann-Roch theorem
- A non commutative generalization of *-autonomous lattices
- Non-commutative proof construction: a constraint-based approach
- Relations and non-commutative linear logic
- Deciding Equations in the Time Warp Algebra
- Free Q-algebras.
- On the power-set Q-algebras
- Quantale valued sets: categorical constructions and properties
- Weihrauch goes Brouwerian
- The points and diameters of quantales
- Girard quantaloids
- A logical view of composition
- Coreflective hull of finite strong L-topological spaces
- Linear Läuchli semantics
- Decision problems for propositional linear logic
- Non-commutative logic. III: Focusing proofs.
- Representation theorems for \(Q\)-algebras
- The conjoinability relation in Lambek calculus and linear logic
- Non-crossing tree realizations of ordered degree sequences
- Proper semantics for substructural logics, from a stalker theoretic point of view
- On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
- Roughness and fuzziness in quantales.
- Phase semantics for a pure noncommutative linear propositional logic
- From IF to BI. A tale of dependence and separation
- Categorial grammars and their logics
- Parsing pregroup grammars and Lambek calculus using partial composition
- Substructural nuclear (image-based) logics and operational Kripke-style semantics
- On quantaloids and quantal categories
- Constructing Q-algebras from Q-modules
- Fixed points of adjoint functors enriched in a quantaloid
- Generalized approximations of \(( \in ,\in \vee q) \)-fuzzy ideals in 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)
