scientific article
From MaRDI portal
Publication:3509054
zbMath1144.03039MaRDI QIDQ3509054
Publication date: 1 July 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modalityquantaleinfinitary proof theoryquantic nucleusKripke-Joyal semanticsnoncommutative conjunction
Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Quantales (06F07)
Related Items
Reducts of relation algebras: the aspects of axiomatisability and finite representability ⋮ Cover systems for the modalities of linear logic ⋮ Grishin algebras and cover systems for classical bilinear logic ⋮ On principally generated quantaloid-modules in general, and skew local homeomorphisms in particular
