Applications of Topological Dualities to Measure Theory in Algebraic Many-valued Logic.
Stefano AguzzoliBrunella GerlaVincenzo MarraPublished in: J. Log. Comput. (2011)
Keyphrases
- computer algebra
- modal logic
- formal theory
- mathematical theory
- algebraic structure
- information theory
- truth values
- boolean algebra
- commonsense reasoning
- conceptual clustering
- algebraic geometry
- similarity measure
- proof theory
- proof theoretic
- formal logic
- asynchronous circuits
- neural network
- set theoretic
- predicate logic
- causal reasoning
- topological properties
- linear algebra
- inference rules
- temporal logic
- distance measure