On the Consistency of Quine's New Foundations for Mathematical Logic.
J. Barkley RosserPublished in: J. Symb. Log. (1939)
Keyphrases
- computer algebra
- mathematical theory
- modal logic
- automated reasoning
- information systems
- mathematical models
- artificial intelligence
- classical logic
- formal logic
- human reasoning
- mathematical expressions
- predicate logic
- set theory
- logical framework
- multi valued
- logic programming
- nonmonotonic logics
- formal theory
- constraint networks
- expressive power
- proof theory
- expert systems
- logic synthesis