Logic and proof-search procedures

MaRDI QIDQ3081818zbMATH OpenFDO

Authors V. N. Bryushinkin

Publication date 9 March 2011

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logic in the philosophy of science (03A10) Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• scientific article; zbMATH DE number 1144311
• scientific article; zbMATH DE number 3985190
• scientific article; zbMATH DE number 1144299
• Searching for proofs (and uncovering capacities of the mathematical mind)
• scientific article; zbMATH DE number 1354094

Cited in

(6)

• Logic of proofs
• Proof checking and logic programming
• scientific article; zbMATH DE number 5840915 (Why is no real title available?)
• scientific article; zbMATH DE number 49983 (Why is no real title available?)
• Extracting Information from Logical Proofs
• Searching for computational creativity

This page was built for publication: Logic and proof-search procedures

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