A truth-functional logic for near-universal generalizations.
Ian F. CarlstromPublished in: J. Philos. Log. (1990)
Keyphrases
- truth values
- multi valued
- logic programming
- functional analysis
- proof theory
- modal logic
- automated reasoning
- classical logic
- asynchronous circuits
- semantics of logic programs
- kolmogorov complexity
- machine learning
- nonmonotonic logics
- linear logic
- functional properties
- defeasible logic
- case study
- valued logic
- sequence prediction
- propositional dynamic logic