A Theory of Completely Monotonic Functions and its Applications to Threshold Logic.
Shuzo YajimaToshihide IbarakiPublished in: IEEE Trans. Computers (1968)
Keyphrases
- formal theory
- proof theory
- set theory
- general theory
- deductive reasoning
- computer algebra
- databases
- computational model
- theoretical framework
- boolean algebra
- probability theory
- propositional theories
- formal logic
- causal reasoning
- modal logic
- defeasible logic
- logical framework
- multi valued
- predicate logic
- automated reasoning
- asynchronous circuits
- basis functions
- rough sets
- artificial intelligence
- genetic algorithm
- neural network