Pages that link to "Item:Q1176199"
From MaRDI portal
The following pages link to The undecidability of \(k\)-provability (Q1176199):
Displaying 37 items.
- Interpolants, cut elimination and flow graphs for the propositional calculus (Q674415) (← links)
- The undecidability of the preperfectness of Thue systems (Q797574) (← links)
- Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). (Q930260) (← links)
- A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs (Q964500) (← links)
- Logical structures and genus of proofs (Q1035649) (← links)
- Turning cycles into spirals (Q1295442) (← links)
- Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← links)
- Normalization of N-graphs via sub-N-graphs (Q1744401) (← links)
- Paraconsistent informational logic (Q1775866) (← links)
- A unification-theoretic method for investigating the \(k\)-provability problem (Q1814133) (← links)
- Streams and strings in formal proofs. (Q1853510) (← links)
- Some remarks on lengths of propositional proofs (Q1908815) (← links)
- \(k\)-provability in \(\mathrm{PA}\) (Q2070428) (← links)
- Maximum segments as natural deduction images of some cuts (Q2084573) (← links)
- The undecidability of proof search when equality is a logical connective (Q2134939) (← links)
- Models of deduction (Q2500815) (← links)
- Incompleteness, Undecidability and Automated Proofs (Q2829997) (← links)
- On the Power of Substitution in the Calculus of Structures (Q2946759) (← links)
- Untestable Properties in the Kahr-Moore-Wang Class (Q3003359) (← links)
- Kalmár and Péter: Undecidability as a Consequence of Incompleteness (Q3195713) (← links)
- Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität (Q3240233) (← links)
- The undecidability of the D<sub>A</sub>-unification problem (Q3478395) (← links)
- Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic (Q3637204) (← links)
- Paraconsistent conjectural deduction based on logical entropy measures I: C-systems as non-standard inference framework (Q3647231) (← links)
- (Q4202936) (← links)
- (Q4428885) (← links)
- Identity of Proofs Based on Normalization and Generality (Q4650310) (← links)
- (Q4830809) (← links)
- Cycling in proofs and feasibility (Q4942870) (← links)
- Undecidability of the Spectral Gap (Q5084676) (← links)
- The Role of Structural Reasoning in the Genesis of Graph Theory (Q5208125) (← links)
- Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548) (← links)
- (Q5505301) (← links)
- (Q5711939) (← links)
- PROVING UNPROVABILITY (Q5737963) (← links)
- Asymptotic cyclic expansion and bridge groups of formal proofs (Q5945614) (← links)
- The elimination of maximum cuts in linear logic and BCK logic (Q6161950) (← links)
