BV and Pomset Logic Are Not the Same

DOI10.4230/lipics.csl.2022.32OpenAlexW4312076516MaRDI QIDQ6124967

Lê Thành Dũng Nguyên, Lutz Straßburger

Publication date: 10 April 2024

Full work available at URL: https://hal.inria.fr/hal-03909463

zbMATH Keywords

cographsproof netsdeep inferenceseries-parallel orderssystem BVpomset logicdicographs

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (2)

An Analytic Propositional Proof System on Graphs ⋮ A System of Interaction and Structure III: The Complexity of BV and Pomset Logic

This page was built for publication: BV and Pomset Logic Are Not the Same