A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

Pomset logic and BV are both logics that extend multiplicative linear logic (with Mix) with a third connective that is self-dual and non-commutative. Whereas pomset logic originates from the study of coherence spaces and proof nets, BV originates from the study of series-parallel orders, cographs, a...

Full description

Bibliographic Details
Main Authors: Lê Thành Dũng Nguyên, Lutz Straßburger
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2023-12-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/10057/pdf