The linear logic of multisets

DOI10.1093/JIGPAL/6.6.901MaRDI QIDQ4222188zbMATH OpenOpenAlexFDO

Authors Athanassios Tzouvaras

Publication date 15 May 2000

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

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

zbMATH Keywords

semanticslinear logicreplacementmultisetsprovabilityadditive unionHorn 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)

Recommendations

• The logic of multisets continued: The case of disjunction
• Relational semantics for a fragment of linear logic
• The complexity of Horn fragments of linear logic

Cited in

(6)

• scientific article; zbMATH DE number 4057482 (Why is no real title available?)
• The logic of multisets continued: The case of disjunction
• Objects and their lambda calculus
• A single-sorted theory of multisets
• Logics for multi-subset spaces
• Poset-valued sets or how to build models for linear logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4222188)