scientific article; zbMATH DE number 827982

zbMath0837.03011MaRDI QIDQ4858948

Bernd I. Dahn, Andreas Wolf

Publication date: 20 December 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

completenesssoundnessblock calculus for first order logicsemantics of incomplete proof structuresvariant of natural deduction

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)

Related Items

ILF-SETHEO, Integration of automated and interactive theorem proving in ILF