Quasi-identity (original) (raw)
In universal algebra, a quasi-identity is an implication of the form s1 = t1 ∧ … ∧ sn = tn → s = t where s1, ..., sn, t1, ..., tn, s, and t are terms built up from variables using the operation symbols of the specified signature. A quasi-identity amounts to a conditional equation for which the conditions themselves are equations. Alternatively, it can be seen as a disjunction of inequations and one equation s1 ≠ t1 ∨ ... ∨ sn ≠ tn ∨ s = t—that is, as a definite Horn clause. A quasi-identity with n = 0 is an ordinary identity or equation, so quasi-identities are a generalization of identities.
| Property | Value |
|---|---|
| dbo:abstract | In universal algebra, a quasi-identity is an implication of the form s1 = t1 ∧ … ∧ sn = tn → s = t where s1, ..., sn, t1, ..., tn, s, and t are terms built up from variables using the operation symbols of the specified signature. A quasi-identity amounts to a conditional equation for which the conditions themselves are equations. Alternatively, it can be seen as a disjunction of inequations and one equation s1 ≠ t1 ∨ ... ∨ sn ≠ tn ∨ s = t—that is, as a definite Horn clause. A quasi-identity with n = 0 is an ordinary identity or equation, so quasi-identities are a generalization of identities. (en) |
| dbo:wikiPageExternalLink | http://www.thoralf.uwaterloo.ca/htdocs/ualg.html |
| dbo:wikiPageID | 12748025 (xsd:integer) |
| dbo:wikiPageLength | 1376 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1095994732 (xsd:integer) |
| dbo:wikiPageWikiLink | dbc:Universal_algebra dbr:Universal_algebra dbr:Horn_clause dbr:Term_(logic) dbr:Springer_Science+Business_Media dbr:Identity_(mathematics) dbr:Signature_(logic) dbr:Quasivariety |
| dbp:wikiPageUsesTemplate | dbt:Algebra-stub dbt:Cite_book dbt:Short_description |
| dct:subject | dbc:Universal_algebra |
| rdfs:comment | In universal algebra, a quasi-identity is an implication of the form s1 = t1 ∧ … ∧ sn = tn → s = t where s1, ..., sn, t1, ..., tn, s, and t are terms built up from variables using the operation symbols of the specified signature. A quasi-identity amounts to a conditional equation for which the conditions themselves are equations. Alternatively, it can be seen as a disjunction of inequations and one equation s1 ≠ t1 ∨ ... ∨ sn ≠ tn ∨ s = t—that is, as a definite Horn clause. A quasi-identity with n = 0 is an ordinary identity or equation, so quasi-identities are a generalization of identities. (en) |
| rdfs:label | Quasi-identity (en) |
| owl:sameAs | wikidata:Quasi-identity https://global.dbpedia.org/id/4tptM |
| prov:wasDerivedFrom | wikipedia-en:Quasi-identity?oldid=1095994732&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Quasi-identity |
| is dbo:wikiPageRedirects of | dbr:Quasiidentity dbr:Quasiidentities |
| is dbo:wikiPageWikiLink of | dbr:Quasiidentity dbr:Quasiidentities |
| is foaf:primaryTopic of | wikipedia-en:Quasi-identity |