scientific article; zbMATH DE number 1036757
From MaRDI portal
Publication:4345010
zbMATH Open0874.03030MaRDI QIDQ4345010FDOQ4345010
Authors:
Publication date: 18 August 1997
Title of this publication is not available (Why is that?)
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
equational logicfork algebrasrelation algebras augmented with a fork operatorsimulating nonclassical means of reasoning
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Other algebras related to logic (03G25) Other applications of logic (03B80)
Cited In (11)
- Title not available (Why is that?)
- Logical equations in monadic logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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)
