Logical structures and genus of proofs

DOI10.1016/J.APAL.2009.05.007zbMATH Open1182.03105OpenAlexW2037021689WikidataQ57253053 ScholiaQ57253053MaRDI QIDQ1035649FDOQ1035649

Authors: 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

Recommendations

• The complexity of Gentzen systems for propositional logic
• The cost of a cycle is a square
• Duplication of directed graphs and exponential blow up of proofs
• Interpolants, cut elimination and flow graphs for the propositional calculus
• Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination

zbMATH Keywords

cutsequent calculuscut-free proofgenus of a prooflogical flow graph

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Duplication of directed graphs and exponential blow up of proofs
• The undecidability of \(k\)-provability
• Streams and strings in formal proofs.
• Interpolants, cut elimination and flow graphs for the propositional calculus
• Title not available (Why is that?)

Cited In (6)

• Ancestral Logic: A Proof Theoretical Study
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
• Two-dimensional proof-structures and the exchange rule
• The genus of regular languages and directed graph emulators
• The genus of regular languages
• Interpolants, cut elimination and flow graphs for the propositional calculus

This page was built for publication: Logical structures and genus of proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1035649)