Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,814,966 papers from all fields of science
Search
Sign In
Create Free Account
Theory of pure equality
Known as:
Pure equality
In mathematical logic the theory of pure equality is a first-order theory. It has a signature consisting of only the equality relation symbol, and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
1 relation
First-order logic
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
A BDD Representation for Positive Equational Formulas
Wenxin Song
,
E. W. Stark
2008
Corpus ID: 8201613
A positive equational formula (PEF) is a negation-free open formula in the language of pure equality. In this paper, we present a…
Expand