scientific article; zbMATH DE number 515726
From MaRDI portal
Publication:4283227
zbMath0794.03076MaRDI QIDQ4283227
Publication date: 28 August 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sequent calculisecond-order unificationalgorithmic solvabilitylinear proofssemi-unification\(k/l\)-compressibilityalgorithmic structuring of proofsproofs in tree form
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Complexity of proofs (03F20)
Related Items (7)
Generalizing theorems in real closed fields ⋮ On the generation of quantified lemmas ⋮ Algorithmic introduction of quantified cuts ⋮ Generalizing proofs in monadic languages (with a postscript by Georg Kreisel). ⋮ Physics and proof theory ⋮ On partial and paraconsistent logics ⋮ Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
This page was built for publication:
