The linear logic of multisets

From MaRDI portal

Publication:4222188

Jump to:navigation, search

DOI10.1093/jigpal/6.6.901zbMath0936.03059OpenAlexW2053620046MaRDI QIDQ4222188

Athanassios Tzouvaras

Publication date: 15 May 2000

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/9662f134181e06a6b76c1cb9fac23d55c5e8398a

zbMATH Keywords

linear logic semantics provability replacement multisets additive union Horn fragment of linear logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (1)

Objects and their lambda calculus

This page was built for publication: The linear logic of multisets

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