Characterization of Boolean Topological Logics Short Form: Boolean Topological Logics.
Anthony R. FressolaJoan KroneStoryan G. PaunovMichael WestmorelandPublished in: J. Multiple Valued Log. Soft Comput. (2006)
Keyphrases
- expressive power
- modal logic
- boolean functions
- real valued
- inference rules
- topological properties
- data sets
- nonmonotonic logics
- directional relations
- propositional dynamic logic
- propositional calculus
- digital topology
- geometric objects
- topology preservation
- classical logic
- logic programming
- level set
- knowledge base
- genetic algorithm