Logical structures and genus of proofs

DOI10.1016/j.apal.2009.05.007zbMath1182.03105OpenAlexW2037021689WikidataQ57253053 ScholiaQ57253053MaRDI QIDQ1035649

Alessandra Carbone

Publication date: 4 November 2009

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2009.05.007

zbMATH Keywords

sequent calculuscutcut-free proofgenus of a prooflogical flow graph

Mathematics Subject Classification ID

Planar graphs; geometric and topological aspects of graph theory (05C10) Structure of proofs (03F07) Graph representations (geometric and intersection representations, etc.) (05C62) Complexity of proofs (03F20)

Related Items

The genus of regular languages, 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10

Cites Work

• Unnamed Item
• Unnamed Item
• Interpolants, cut elimination and flow graphs for the propositional calculus
• Duplication of directed graphs and exponential blow up of proofs
• The undecidability of \(k\)-provability
• Streams and strings in formal proofs.