A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs
type: Item
instance of: scholarly article
title: A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs
zbMATH Open document ID: 1200.68218
author: Alessandra Carbone
published in: Information and Computation
publication date: 2010-04-22T00:00:00Z
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5697030
zbMATH Keywords: combinatorial proof
zbMATH Keywords: proof homomorphism
zbMATH Keywords: skew fibration
zbMATH Keywords: sequent calculus
zbMATH Keywords: propositional logic
MaRDI profile type: Publication
full work available at URL: j.ic.2009.01.007
OpenAlex ID: W2071146589
Wikidata QID: Q57253048
cites work: The undecidability of \(k\)-provability
cites work: Interpolants, cut elimination and flow graphs for the propositional calculus
cites work: Q4496851
cites work: The cost of a cycle is a square
cites work: A Linear Recognition Algorithm for Cographs
cites work: Q5610986
cites work: Q3791120
cites work: A system of interaction and structure
cites work: Proofs without syntax
cites work: Towards Hilbert's 24th Problem: Combinatorial Proof Invariants
cites work: Typed Lambda Calculi and Applications
cites work: Handsome proof-nets: Perfect matchings and cographs
cites work: Q4143279
cites work: Q3392273
cites work: A Characterization of Medial as Rewriting Rule
DBLP publication ID: journals/iandc/Carbone10
DOI: 10.1016/J.IC.2009.01.007
Recommended article: Q4964705
Recommended article: A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus
Recommended article: From syntactic proofs to combinatorial proofs
Recommended article: A formal framework for specifying sequent calculus proof systems
Recommended article: Propositional intuitionistic multiple-conclusion calculus via proof graphs
Recommended article: Towards a combinatorial proof theory
Recommended article: Generic Methods for Formalising Sequent Calculi Applied to Provability Logic
Recommended article: From input/output logics to conditional logics via sequents -- with provers
Recommended article: Q5884933
Recommended article: A sequent calculus and a theorem prover for standard conditional logics
description: scientific article; zbMATH DE number 5697030