From Infinite to Finite by Identifying Variables in Many-Valued Logic.
Arto SalomaaPublished in: J. Autom. Lang. Comb. (2018)
Keyphrases
- truth values
- modal logic
- finite sets
- real numbers
- multi valued
- logic programming
- inference rules
- classical logic
- variable selection
- linear temporal logic
- valued logic
- function symbols
- random variables
- logic programs
- input variables
- causal relationships
- automated reasoning
- aggregation functions
- modal operators
- logical framework
- data mining
- finite number
- temporal logic
- knowledge base