Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02712342n
Noun Concept
Categories: Mathematical logic
EN
equational logic
EN
First-order equational logic consists of quantifier-free terms of ordinary first-order logic, with equality as the only predicate symbol. Wikipedia
Definitions
Sources
EN
First-order equational logic consists of quantifier-free terms of ordinary first-order logic, with equality as the only predicate symbol. Wikipedia
Wikipedia
EN
equational logic
Wikidata
EN
Equational logic

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License