Universally Free Logic and Standard Quantification Theory.
Robert K. MeyerKarel LambertPublished in: J. Symb. Log. (1968)
Keyphrases
- commonsense reasoning
- formal theory
- proof theory
- theoretical framework
- classical logic
- deductive reasoning
- computer algebra
- asynchronous circuits
- logical framework
- information theory
- logic programming
- artificial intelligence
- machine learning
- neural network
- probability theory
- database
- general theory
- causal reasoning
- set theory
- theoretical foundation
- modal operators
- modal logic