Keyphrases
- quantum computation
- logic circuits
- modal logic
- logic synthesis
- logic programming
- multi valued
- categorical data
- machine learning
- numerical values
- epistemic logic
- defeasible logic
- low power
- computational properties
- set theory
- probability theory
- asynchronous circuits
- attribute values
- proof theory
- channel capacity
- website
- databases
- sound and complete axiomatization