scientific article
From MaRDI portal
Publication:3338233
zbMath0547.03032MaRDI QIDQ3338233
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
algorithmnatural deductionnon-analytic proofanalytic proofsnon-resolution theorem provingtree expansion proofs
Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)
Related Items
Semi-intelligible Isar proofs from machine-generated proofs, TPS: A theorem-proving system for classical type theory, On connections and higher-order logic, Extraction of expansion trees, Translation of resolution proofs into short first-order proofs without choice axioms
