Keyphrases
- intuitionistic logic
- expressive power
- modal logic
- valued logic
- classical logic
- dna computing
- three dimensional
- inference rules
- conditional logic
- nonmonotonic logics
- propositional calculus
- neural network
- von neumann
- molecular structures
- database
- molecular structure
- van der waals
- molecular level
- drug design
- belief revision
- data model
- learning algorithm
- data sets