Definition by Induction in Quine's New Foundations for Mathematical Logic.
J. Barkley RosserPublished in: J. Symb. Log. (1939)
Keyphrases
- set theory
- computer algebra
- artificial intelligence
- logic programming
- functional programs
- modal logic
- mathematical models
- proof search
- mathematical theory
- inductive logic programming
- operational semantics
- intuitionistic logic
- computational properties
- classical logic
- databases
- mathematical knowledge
- general theory
- mathematical expressions
- linear logic
- epistemic logic
- predicate logic
- real time
- rule induction
- inductive learning
- data sets