scientific article

From MaRDI portal

Revision as of 23:31, 29 January 2024 by Import240129110155 (talk | contribs) (Created automatically from import240129110155)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3975037

Jump to:navigation, search

zbMath0735.03013MaRDI QIDQ3975037

Narciso Martí-Oliet, José Meseguer

Publication date: 26 June 1992

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

zbMATH Keywords

semantics categorical combinators algebraic axiomatization cancellative linear logic de Morgan duality equationally defined classes of models financial game Girard algebras linear logic models quantale models

Mathematics Subject Classification ID

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:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3975037&oldid=12015544"