Keyphrases
- expressive power
- highly expressive
- language independent
- classical logic
- modal logic
- logical framework
- cross lingual
- multi lingual
- formal language
- multi valued
- proof theory
- asynchronous circuits
- deontic logic
- predicate logic
- logic programming
- digital circuits
- neural network
- probability theory
- machine translation
- programming language
- natural language processing