scientific article; zbMATH DE number 2063838

MaRDI QIDQ4461444zbMATH OpenFDO

Authors M. A. Malkov

Publication date 30 March 2004

zbMATH Keywords

computational logicfinite descentfinite logicgeneralized clausesgeneralized paramodulationgeneralized resolutionlogic programmingnormal formrelational logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 2063843
• A computational model of relational algebra
• scientific article; zbMATH DE number 2063839
• A system of relational syllogistic incorporating full Boolean reasoning
• LOGICS FOR THE RELATIONAL SYLLOGISTIC

Cited in

(9)

• A computational model of relational algebra
• A relational approach to logic programming: The extended Alexander method
• scientific article; zbMATH DE number 2063839 (Why is no real title available?)
• scientific article; zbMATH DE number 2063840 (Why is no real title available?)
• scientific article; zbMATH DE number 2063843 (Why is no real title available?)
• Separating functional computation from relations
• Relational Logics and Their Applications
• Coordinate-free logic
• LOGICS FOR THE RELATIONAL SYLLOGISTIC

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