Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Equational_logic> ?p ?o }
Showing triples 1 to 43 of
43
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 "658140323".
- 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 Inference_rule.
- Equational_logic wikiPageWikiLink Logic.
- Equational_logic wikiPageWikiLink Model_theory.
- Equational_logic wikiPageWikiLink Paul_Cohn.
- Equational_logic wikiPageWikiLink Predicate_symbol.
- Equational_logic wikiPageWikiLink Predicate_variable.
- Equational_logic wikiPageWikiLink Quantification_(logic).
- 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 hasPhotoCollection Equational_logic.
- 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 m.0h98x7y.
- Equational_logic sameAs Q5384236.
- Equational_logic sameAs Q5384236.
- Equational_logic wasDerivedFrom Equational_logic?oldid=658140323.
- Equational_logic isPrimaryTopicOf Equational_logic.