Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Algebraic_theory> ?p ?o. }
Showing items 1 to 16 of
16
with 100 items per page.
- Algebraic_theory abstract "Informally in mathematical logic, an algebraic theory is one that uses axioms stated entirely in terms of equations between terms with free variables. Inequalities and quantifiers are specifically disallowed. Sentential logic is the subset of first-order logic involving only algebraic sentences.The notion is very close to the notion of Algebraic Structure, which, arguably, may be just a synonym.Saying that a theory is algebraic is a stronger condition than saying it is elementary.".
- Algebraic_theory wikiPageExternalLink tr5abs.html.
- Algebraic_theory wikiPageExternalLink algebraic.theories.pdf.
- Algebraic_theory wikiPageID "24497685".
- Algebraic_theory wikiPageRevisionID "580699704".
- Algebraic_theory hasPhotoCollection Algebraic_theory.
- Algebraic_theory id "algebraic+theory".
- Algebraic_theory title "Algebraic Theory".
- Algebraic_theory subject Category:Mathematical_logic.
- Algebraic_theory comment "Informally in mathematical logic, an algebraic theory is one that uses axioms stated entirely in terms of equations between terms with free variables. Inequalities and quantifiers are specifically disallowed. Sentential logic is the subset of first-order logic involving only algebraic sentences.The notion is very close to the notion of Algebraic Structure, which, arguably, may be just a synonym.Saying that a theory is algebraic is a stronger condition than saying it is elementary.".
- Algebraic_theory label "Algebraic theory".
- Algebraic_theory sameAs m.0803j0w.
- Algebraic_theory sameAs Q4724020.
- Algebraic_theory sameAs Q4724020.
- Algebraic_theory wasDerivedFrom Algebraic_theory?oldid=580699704.
- Algebraic_theory isPrimaryTopicOf Algebraic_theory.