scientific article; zbMATH DE number 1990014

zbMATH Open1031.03017MaRDI QIDQ4430633FDOQ4430633

Authors: Nicolas Peltier 

Publication date: 12 October 2003

Title of this publication is not available (Why is that?)

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

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)

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)