Boolean-Valued Second-Order Logic.
Daisuke IkegamiJouko VäänänenPublished in: Notre Dame J. Formal Log. (2015)
Keyphrases
- multi valued
- boolean logic
- valued logic
- classical logic
- valued semantics
- boolean functions
- higher order
- logic programming
- real valued
- truth table
- modal logic
- automated reasoning
- t norm
- predicate logic
- truth values
- deontic logic
- proof theory
- data sets
- uniform distribution
- normal form
- asynchronous circuits
- bayesian networks
- knowledge base
- learning algorithm