The logic of multisets continued: The case of disjunction

DOI10.1023/B:STUD.0000009561.61962.5AzbMath1072.03036OpenAlexW2020897672MaRDI QIDQ1419383

Athanassios Tzouvaras

Publication date: 14 January 2004

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/b:stud.0000009561.61962.5a

zbMATH Keywords

linear logicdisjunctive multisetHorn fragmentsemantics of the Horn fragment

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

This page was built for publication: The logic of multisets continued: The case of disjunction