Infinitary logic and basically disconnected compact Hausdorff spaces.
Antonio Di NolaSerafina LapentaIoana LeusteanPublished in: J. Log. Comput. (2018)
Keyphrases
- hausdorff distance
- data sets
- logic programming
- website
- classical logic
- automated reasoning
- abductive reasoning
- formal theory
- high dimensional
- real time
- multi valued
- expert systems
- bayesian networks
- computational properties
- predicate logic
- similarity measure
- search engine
- asynchronous circuits
- sound and complete axiomatization