Problems to formalization of the process of the logical inference

MaRDI QIDQ3160635zbMATH OpenFDO

Authors V. K. Kabulov, I. Kh. Normatov

Publication date 14 October 2010

Mathematics Subject Classification ID

Artificial intelligence (68T99) Symbolic computation and algebraic computation (68W30)

Recommendations

• Deductive inference by the use of necessary and sufficient deducibility conditions in the calculus of first-order predicate
• Анализ vs дедукция
• scientific article; zbMATH DE number 914492
• A method of logical inference of modified conclusions
• scientific article; zbMATH DE number 3972241

Cited in

(2)

• Deductive inference by the use of necessary and sufficient deducibility conditions in the calculus of first-order predicate
• Formalization as the immanent part of logical solving

This page was built for publication: Problems to formalization of the process of the logical inference

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