scientific article

zbMath0713.06005MaRDI QIDQ3197878

Kimmo I. Rosenthal

Publication date: 1990

Full work available at URL: http://www.numdam.org/item?id=CTGDC_1990__31_1_3_0

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

linear logicphase semanticsquantalespartially ordered monoids

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Categorical structures (18D99)

Related Items (14)

\(*\)-autonomous categories of bimodules ⋮ Completeness results for linear logic on Petri nets ⋮ Non-commutative logical algebras and algebraic quantales ⋮ The Involutive Quantaloid of Completely Distributive Lattices ⋮ Valued quantum B-algebras ⋮ Unitless Frobenius quantales ⋮ Quantale-valued dissimilarity ⋮ Algebraic Kripke-style semantics for relevance logics ⋮ Quantaloidal nuclei, the syntactic congruence and tree automata ⋮ Aggregation operators in fuzzy relational mathematical morphology: erosion and dilation ⋮ Join-completions of partially ordered algebras ⋮ Linear Structures for Concurrency in Probabilistic Programming Languages ⋮ Quantum B-algebras with involutions ⋮ Frobenius quantales, Serre quantales and the Riemann-Roch theorem

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Quantales and (noncommutative) linear logic
• Constructing locales from quantales

This page was built for publication: