Keyphrases
- formal theory
- commonsense reasoning
- probability theory
- general theory
- neural network
- proof theoretic
- set theory
- theoretical framework
- theoretical basis
- multi valued
- formal logic
- mathematical theory
- predicate logic
- computer algebra
- modal operators
- logical theories
- data sets
- proof theory
- algebraic structure
- asynchronous circuits
- machine learning
- website
- case study
- logical framework
- modal logic