A 'Theory' Mechanism for a Proof-Verifier Based on First-Order Set Theory.
Eugenio G. OmodeoJacob T. SchwartzPublished in: Computational Logic: Logic Programming and Beyond (2002)
Keyphrases
- set theory
- first order logic
- classical first order logic
- theorem prover
- algebraic geometry
- partial order
- fuzzy set theory
- boolean algebra
- fuzzy sets
- mathematical morphology
- rough sets
- probability theory
- databases
- propositional logic
- higher order
- probabilistic model
- rough set theory
- artificial intelligence
- inference rules
- data mining
- theoretical framework
- quantifier elimination
- binary images
- random variables
- case based reasoning
- fuzzy logic
- multiscale
- bayesian networks
- real world