Decision procedures for elementary sublanguages of set theory, XVI, Multilevel syllogistic extended by singleton, rank comparison and unary intersection.
Domenico CantoneVincenzo CutelloPublished in: Bull. EATCS (1989)
Keyphrases
- set theory
- decision procedures
- theorem proving
- first order logic
- modal logic
- fuzzy set theory
- partial order
- automated reasoning
- rough set theory
- mathematical morphology
- rough sets
- fuzzy sets
- inference rules
- propositional logic
- temporal logic
- multiscale
- belief revision
- artificial intelligence
- knowledge representation
- image analysis
- expert systems
- bayesian networks
- decision making