Classical proof forestry
type: Item
instance of: scholarly article
title: Classical proof forestry
zbMATH Open document ID: 1223.03039
author: Willem Heijltjes
published in: Annals of Pure and Applied Logic
publication date: 2011-08-26T00:00:00Z
full work available at URL: Classical Proof Forestry.pdf
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F07
zbMATH DE Number: 5943654
zbMATH Keywords: proof theory
zbMATH Keywords: cut-elimination
zbMATH Keywords: classical logic
zbMATH Keywords: game semantics
zbMATH Keywords: backtracking games
MaRDI profile type: Publication
OpenAlex ID: W2032033497
cites work: Sequentiality vs. concurrency in games and logic
cites work: Categorical proof theory of classical propositional calculus
cites work: Locality for classical logic
cites work: A semantics of evidence for classical arithmetic
cites work: Identity of Proofs Based on Normalization and Generality
cites work: Order-enriched categorical models of the classical sequent calculus
cites work: A new constructive logic: classic logic
cites work: Normalisation Control in Deep Inference via Atomic Flows
cites work: Proof Transformations and Structural Invariance
cites work: Proofs without syntax
cites work: Proof Identity for Classical Logic: Generalizing to Normality
cites work: Typed Lambda Calculi and Applications
cites work: Proof Nets for Herbrand’s Theorem
cites work: A compact representation of proofs
cites work: Proof Nets for Classical Logic
DOI: 10.1016/J.APAL.2010.04.006
description: scientific article; zbMATH DE number 5943654