scientific article; zbMATH DE number 5200726
From MaRDI portal
Publication:5310891
zbMath1124.03042MaRDI QIDQ5310891
Publication date: 15 October 2007
Full work available at URL: http://www.jucs.org/jucs_11_12/a_direct_proof_of
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
Depth of proofs, depth of cut-formulas and complexity of cut formulas ⋮ Structure of proofs and the complexity of cut elimination ⋮ König's lemma, weak König's lemma, and the decidable fan theorem ⋮ Consequences of an exotic definition for \(\text{P}=\text{NP}\). ⋮ Some axioms for constructive analysis ⋮ Cut elimination and automatic proof procedures ⋮ Cut formulas in propositional logic ⋮ Toward a clarity of the extreme value theorem ⋮ Constructive decision via redundancy-free proof-search ⋮ Continuity and Lipschitz constants for projections ⋮ Problems, solutions, and completions ⋮ Cut normal forms and proof complexity ⋮ An extension of the equivalence between Brouwer's fan theorem and weak König's lemma with a uniqueness hypothesis
This page was built for publication:
