Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,741,296 papers from all fields of science
Search
Sign In
Create Free Account
Decidable sublanguages of set theory
In mathematical logic, various sublanguages of set theory are decidable. These include: * Sets with Monotone, Additive, and Multiplicative Functions…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
2 relations
Broader (1)
Logic in computer science
Set theory
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Review
1995
Review
1995
The Average Case Complexity of Multilevel Syllogistic
J. Cox
,
L. Ericson
,
B. Mishra
1995
Corpus ID: 463293
An approach to the problem of developing provably correct programs has been to enrich a theorem prover for Hoare logic with…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE