scientific article; zbMATH DE number 1990014

MaRDI QIDQ4430633zbMATH OpenFDO

Authors Nicolas Peltier

Publication date 12 October 2003

zbMATH Keywords

decision procedureequational logicordering strategyparamodulation calculus

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Recommendations

• Decision procedures and model building in equational clause logic
• Representing and building models for decidable subclasses of equational clausal logic
• Equational Reasoning in Non-Classical Logics
• scientific article; zbMATH DE number 1036757
• On decision procedures for sentential logics
• scientific article; zbMATH DE number 826301
• Decision problems for equational theories of relation algebras
• scientific article; zbMATH DE number 638616
• An equational approach to logic programming
• Decision procedure of some relevant logics: a constructive perspective

Cited in

(3)

• Building Decision Procedures in the Calculus of Inductive Constructions
• Representing and building models for decidable subclasses of equational clausal logic
• Some techniques for proving termination of the hyperresolution calculus

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