scientific article; zbMATH DE number 720881

zbMath0819.18004MaRDI QIDQ4322438

Kimmo I. Rosenthal

Publication date: 9 March 1995

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

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

zbMATH Keywords

modalitycategorical model for full linear logiccategory of modules over commutative unital quantale

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (4)

Constructing \(Q\)-algebras from \(Q\)-modules ⋮ Quantale algebras as lattice-valued quantales ⋮ Representation theorems for \(Q\)-algebras ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular

Cites Work

• Linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Linear logic, coherence and dinaturality
• \(*\)-autonomous categories of bimodules
• An extension of the Galois theory of Grothendieck
• *-Autonomous categories and linear logic
• Quantales, observational logic and process semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: