Login / Signup
Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs.
Domenico Cantone
Jacob T. Schwartz
Published in:
J. Autom. Reason. (1991)
Keyphrases
</>
set theory
decision procedures
first order logic
theorem proving
partial order
fuzzy set theory
rough sets
rough set theory
mathematical morphology
fuzzy sets
modal logic
artificial intelligence
automated reasoning
databases
knowledge base
fuzzy logic