Login / Signup
Decision Procedures for Elementary Sublanguages of Set Theory. V. Multilevel Syllogistic Extended by the General Union Operator.
Domenico Cantone
Alfredo Ferro
Jacob T. Schwartz
Published in:
J. Comput. Syst. Sci. (1987)
Keyphrases
</>
set theory
decision procedures
algebraic geometry
first order logic
theorem proving
partial order
fuzzy set theory
special case
automated reasoning
modal logic
tight complexity bounds
neural network
mathematical morphology
probability theory
rough set theory
fuzzy sets
decision making
database