Graphs of plural cuts

DOI10.1016/J.TCS.2013.02.001zbMath1315.03110arXiv1104.4064OpenAlexW1993729403MaRDI QIDQ383359

Zoran Petrić, Kosta Došen

Publication date: 4 December 2013

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1104.4064

zbMATH Keywords

planarityoriented graphmultiple-conclusion sequentplural cutplural sequentpolycategory

Mathematics Subject Classification ID

Applications of graph theory (05C90) Structure of proofs (03F07)

Related Items (1)

The explosion calculus

Cites Work

• Weakly distributive categories
• Semantical investigations in Heyting's intuitionistic logic
• Untersuchungen über das logische Schliessen. I
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• Polycategories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Graphs of plural cuts