scientific article
From MaRDI portal
Publication:3975037
zbMath0735.03013MaRDI QIDQ3975037
Narciso Martí-Oliet, José Meseguer
Publication date: 26 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
semanticscategorical combinatorsalgebraic axiomatizationcancellative linear logicde Morgan dualityequationally defined classes of modelsfinancial gameGirard algebraslinear logic modelsquantale models
Logic in computer science (03B70) Categorical logic, topoi (03G30) Other algebras related to logic (03G25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items (4)
\(*\)-autonomous categories of bimodules ⋮ Debits and Credits in Petri Nets and Linear Logic ⋮ Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic ⋮ May I borrow your logic? (Transporting logical structures along maps)
This page was built for publication:
