Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Equational_logic> ?p ?o }
Showing triples 1 to 39 of
39
with 100 triples per page.
- Equational_logic abstract "First-order equational logic consists of quantifier-free terms of ordinary first-order logic, with equality as the only predicate symbol. The model theory of this logic was developed into Universal algebra by Birkhoff, Grätzer and Cohn. It was later made into a branch of category theory by Lawvere (\"algebraic theories\").The terms of equational logic are built up from variables and constants using function symbols (or operations).".
- Equational_logic wikiPageExternalLink EquationalLogic.html.
- Equational_logic wikiPageID "33522862".
- Equational_logic wikiPageLength "4444".
- Equational_logic wikiPageOutDegree "20".
- Equational_logic wikiPageRevisionID "704594141".
- Equational_logic wikiPageWikiLink Carel_S._Scholten.
- Equational_logic wikiPageWikiLink Category:Mathematical_logic.
- Equational_logic wikiPageWikiLink Category_theory.
- Equational_logic wikiPageWikiLink David_Gries.
- Equational_logic wikiPageWikiLink Edsger_W._Dijkstra.
- Equational_logic wikiPageWikiLink Equanimity.
- Equational_logic wikiPageWikiLink First-order_logic.
- Equational_logic wikiPageWikiLink Garrett_Birkhoff.
- Equational_logic wikiPageWikiLink Gottfried_Wilhelm_Leibniz.
- Equational_logic wikiPageWikiLink Logic.
- Equational_logic wikiPageWikiLink Model_theory.
- Equational_logic wikiPageWikiLink Paul_Cohn.
- Equational_logic wikiPageWikiLink Predicate_variable.
- Equational_logic wikiPageWikiLink Quantifier_(logic).
- Equational_logic wikiPageWikiLink Roland_Carl_Backhouse.
- Equational_logic wikiPageWikiLink Rule_of_inference.
- Equational_logic wikiPageWikiLink Substitution_(logic).
- Equational_logic wikiPageWikiLink Transitive_relation.
- Equational_logic wikiPageWikiLink Universal_algebra.
- Equational_logic wikiPageWikiLink William_Lawvere.
- Equational_logic wikiPageWikiLinkText "Equational logic".
- Equational_logic wikiPageWikiLinkText "equational logic".
- Equational_logic wikiPageWikiLinkText "equational".
- Equational_logic wikiPageUsesTemplate Template:Reflist.
- Equational_logic subject Category:Mathematical_logic.
- Equational_logic type Field.
- Equational_logic comment "First-order equational logic consists of quantifier-free terms of ordinary first-order logic, with equality as the only predicate symbol. The model theory of this logic was developed into Universal algebra by Birkhoff, Grätzer and Cohn. It was later made into a branch of category theory by Lawvere (\"algebraic theories\").The terms of equational logic are built up from variables and constants using function symbols (or operations).".
- Equational_logic label "Equational logic".
- Equational_logic sameAs Q5384236.
- Equational_logic sameAs m.0h98x7y.
- Equational_logic sameAs Q5384236.
- Equational_logic wasDerivedFrom Equational_logic?oldid=704594141.
- Equational_logic isPrimaryTopicOf Equational_logic.