Modal Deduction in Second-Order Logic and Set Theory - I.
Johan van BenthemGiovanna D'AgostinoAngelo MontanariAlberto PolicritiPublished in: J. Log. Comput. (1997)
Keyphrases
- set theory
- first order logic
- fuzzy set theory
- modal logic
- inference rules
- partial order
- mathematical morphology
- algebraic geometry
- boolean algebra
- rough set theory
- rough sets
- higher order
- theorem proving
- fuzzy sets
- high order
- theorem prover
- probability theory
- model checker
- databases
- nonmonotonic logics
- data mining
- real time
- multiscale
- computational intelligence
- theoretical framework
- gray scale