scientific article; zbMATH DE number 1036757

MaRDI QIDQ4345010zbMATH OpenFDO

Authors

Publication date 18 August 1997

zbMATH Keywords

equational logicfork algebrasrelation algebras augmented with a fork operatorsimulating nonclassical means of reasoning

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Other algebras related to logic (03G25) Other applications of logic (03B80)

Recommendations

• Equational Reasoning in Non-Classical Logics
• Equational logic as a tool
• Equational propositional logic
• On the mathematical synthesis of equational logics
• Some Varieties of Equational Logic
• Equational coalgebraic logic
• scientific article; zbMATH DE number 475241
• scientific article; zbMATH DE number 67036
• scientific article; zbMATH DE number 4047723
• An equational approach to logic programming

Cited in

(11)

• scientific article; zbMATH DE number 1990014 (Why is no real title available?)
• Logical equations in monadic logic
• scientific article; zbMATH DE number 1670742 (Why is no real title available?)
• scientific article; zbMATH DE number 975273 (Why is no real title available?)
• scientific article; zbMATH DE number 1961528 (Why is no real title available?)
• scientific article; zbMATH DE number 3961694 (Why is no real title available?)
• Nominal equational logic
• Non-covering in the interpretability lattice of equational theories
• Equational reasoning about nondeterministic processes
• Equational methods in first order predicate calculus
• On the mathematical synthesis of equational logics

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