scientific article; zbMATH DE number 3864542

MaRDI QIDQ3332286zbMATH OpenFDO

Authors Zh. S. Azimova, D. I. Sviridenko

Publication date 1981

zbMATH Keywords

admissibility of inference rulescomputer aided problem solvingmeasures of proof validityproof complexityprovabilityregularity

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Abstract data types; algebraic specification (68Q65) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Logic and probabilistic systems
• scientific article; zbMATH DE number 3057872
• Proof theory for admissible rules
• scientific article; zbMATH DE number 4164801
• scientific article; zbMATH DE number 3959387

Cited in

(8)

• scientific article; zbMATH DE number 5873297 (Why is no real title available?)
• scientific article; zbMATH DE number 1191245 (Why is no real title available?)
• scientific article; zbMATH DE number 1503618 (Why is no real title available?)
• scientific article; zbMATH DE number 2096468 (Why is no real title available?)
• scientific article; zbMATH DE number 5050419 (Why is no real title available?)
• scientific article; zbMATH DE number 3057872 (Why is no real title available?)
• On some regularity condition
• A classical way forward for the regularity and normalization problems

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 Q3332286)