Quantales and (noncommutative) linear logic
From MaRDI portal
Publication:3478401
DOI10.2307/2274953zbMath0701.03026OpenAlexW2078432227WikidataQ56391419 ScholiaQ56391419MaRDI QIDQ3478401
Publication date: 1990
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2274953
strong normalizationGirard quantalesgraphical proof as equivalence class of drawingsNoncommutative Linear Logicpure succeedent sequent calculus for NLL
Modal logic (including the logic of norms) (03B45) Complete lattices, completions (06B23) Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Ordered semigroups and monoids (06F05) Foundations, relations to logic and deductive systems (18A15)
Related Items
On Lambek’s Restriction in the Presence of Exponential Modalities, Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic, Valued quantum B-algebras, Reflectors to quantales, Diagonals between \(\mathcal{Q}\)-distributors, Constructing \(Q\)-algebras from \(Q\)-modules, On the cancellation problem for quantales, A System of Interaction and Structure III: The Complexity of BV and Pomset Logic, Deciding Equations in the Time Warp Algebra, Enumerating, cataloguing and classifying all quantales on up to nine elements, Explorations in Subexponential Non-associative Non-commutative Linear Logic, Recognizability in residuated lattices, Unnamed Item, Categorial Grammars and Their Logics, Hopf algebras and linear logic, Unnamed Item, Residuated frames with applications to decidability, On Canonical Embeddings of Residuated Groupoids, Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars, Stochastic Lambek Categorial Grammars, Unnamed Item, From Petri nets to linear logic, Subexponentials in non-commutative linear logic, Moore-Penrose equations in involutive residuated semigroups and involutive quantales, WEIHRAUCH GOES BROUWERIAN, Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets, Extensions of Lambek Calculi, Pomset Logic, Unnamed Item, Quantum B-algebras with involutions, The points and diameters of quantales, 1998 European Summer Meeting of the Association for Symbolic Logic, Free \(Q\)-algebras., The conjoinability relation in Lambek calculus and linear logic, On the power-set \(Q\)-algebras, From IF to BI. A tale of dependence and separation, Pseudo-BL algebras and pseudo-effect algebras, Unnamed Item, A covering theory for non-involutive set-theoretic solutions to the Yang-Baxter equation, Meeting strength in substructural logics, \(*\)-autonomous categories of bimodules, On derivations of quantales, Quantal sets and sheaves over quantales, Relational Representation Theorem for Powerset Quantales, Topological representation and quantic separation axioms of semi-quantales, Completeness results for linear logic on Petri nets, Some lattice models of bilinear logic, Strong negation in intuitionistic style sequent systems for residuated lattices, A micrological study of negation, Relations and non-commutative linear logic, Fixed points of adjoint functors enriched in a quantaloid, Language-theoretic and finite relation models for the (full) Lambek calculus, Girard quantaloids, Coproduct and amalgamation of deductive systems by means of ordered algebras, Linear Läuchli semantics, Representation Theorems for Quantales, Autonomous posets and quantales, Fibred semantics for feature-based grammar logic, On quantaloids and quantal categories, Non-commutative logical algebras and algebraic quantales, Relation algebras as expanded FL-algebras, Measure-free conditioning and extensions of additive measures on finite MV-algebras, Alexandroff \(L\)-co-topological spaces, Unitless Frobenius quantales, Towards a semantics of proofs for non-commutative logic: Multiplicatives and additives, A graph-theoretic characterization theorem for multiplicative fragment of non-commutative linear logic, Generalized lower and upper approximations in quantales, On involutive nonassociative Lambek calculus, Chu connections and back diagonals between \(\mathcal{Q}\)-distributors, Proper semantics for substructural logics, from a stalker theoretic point of view, On Classical Nonassociative Lambek Calculus, Non-crossing Tree Realizations of Ordered Degree Sequences, A categorical model of predicate linear logic, Coreflective hull of finite strong L-topological spaces, Quantale algebras as lattice-valued quantales, A Concrete Categorical Model for the Lambek Syntactic Calculus, Effect algebras, Girard quantales and complementation in separation logic, Generalized approximations of \(( \in ,\in \vee q) \)-fuzzy ideals in quantales, On cyclic star-autonomous categories, Quantale-valued dissimilarity, Non-commutative logic. III: Focusing proofs., Finite Models of Some Substructural Logics, Representation theorems for \(Q\)-algebras, Fuzzy Galois connections categorically, Quantaloidal nuclei, the syntactic congruence and tree automata, Type logics and pregroups, Parsing pregroup grammars and Lambek calculus using partial composition, Decision problems for propositional linear logic, Convergence and quantale-enriched categories, A logical view of composition, Regularity vs. constructive complete (co)distributivity, A representation theorem for quantales, A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain, Girard couples of quantales, On the quantale of quantic nuclei, Nuclei and conuclei on residuated lattices, Lambek calculus is NP-complete, \(\bigstar\)-autonomous lattices and fuzzy sets, Algebraic and Categorical Aspects of Quantales, \(\bigstar\)-autonomous lattices, Non-commutative proof construction: a constraint-based approach, Orthomodular lattices and quantales, Roughness and fuzziness in quantales., On \((\odot, \operatorname{\&})\)-fuzzy rough sets based on residuated and co-residuated lattices, Lambek calculus with a unit and one division, On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular, Semitopological groups, semiclosure semigroups and quantales, The completions of multi-posets and quantum B-algebras, A non commutative generalization of *-autonomous lattices, CHARACTERIZATION OF PROJECTIVE QUANTALES, A geometrical procedure for computing relaxation, Generalized approximation of substructures in quantales by soft relations, On sheaf cohomology and natural expansions, Precoherent quantale completions of partially ordered semigroups, MV-algebras embedded in a CL-algebra, Bell States and Negative Sentences in the Distributed Model of Meaning, Some studies in the approximation of \((\in_\gamma, \in_\gamma \vee q_\delta)\)-fuzzy substructures in quantales, Unnamed Item, Dual quantum B-algebras, Undecidability of the Lambek Calculus with a Relevant Modality, Phase semantics for a pure noncommutative linear propositional logic, The quantic conuclei on quantales, Proof-search in type-theoretic languages: An introduction, Multiplicative Linear Logics and Fibrations, \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic, Gentzen-type calculi for involutive quantales, Soft subexponentials and multiplexing, Projective and injective objects in the category of quantales, Tropological systems are points of quantales, Frobenius quantales, Serre quantales and the Riemann-Roch theorem
Cites Work
