scientific article; zbMATH DE number 937385

MaRDI QIDQ4896526zbMATH OpenFDO

Authors Paola Forcheri, Paolo Gentilini, Maria Teresa Molfino

Publication date 5 November 1997

zbMATH Keywords

entropyequational fragment of arithmeticlength of proofsproof-theory for equational logicvirtual proof

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20) First-order arithmetic and fragments (03F30) Measures of information, entropy (94A17)

Recommendations

• scientific article; zbMATH DE number 3696535
• Informational logic for automated reasoning
• Informational logic as a tool for automated reasoning
• scientific article; zbMATH DE number 1360950
• scientific article; zbMATH DE number 2090711

Cited in

(5)

• Informational logic as a tool for automated reasoning
• Paraconsistent informational logic
• Computer runtimes and the length of proofs. With an algorithmic probabilistic application to waiting times in automatic theorem proving
• scientific article; zbMATH DE number 3696535 (Why is no real title available?)
• Informational logic for automated reasoning

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4896526)