Modal Deduction in Second-Order Logic and Set Theory - II.
Johan van BenthemGiovanna D'AgostinoAngelo MontanariAlberto PolicritiPublished in: Stud Logica (1998)
Keyphrases
- set theory
- first order logic
- fuzzy set theory
- partial order
- inference rules
- modal logic
- theorem proving
- probability theory
- mathematical morphology
- boolean algebra
- rough sets
- higher order
- algebraic geometry
- rough set theory
- fuzzy sets
- model checker
- gray scale
- co occurrence
- neural network
- intuitionistic logic
- deductive reasoning
- theorem prover
- computational intelligence
- data structure