The Nonarithmeticity of the Predicate Logic of strictly Primitive Recursive Realizability.
Valery PliskoPublished in: Rev. Symb. Log. (2022)
Keyphrases
- predicate logic
- lower level
- knowledge representation and reasoning
- semantic net
- temporal logic
- formal logic
- computational linguistics
- highly expressive
- predicate calculus
- higher level
- high level
- semantic network
- artificial intelligence
- fluent calculus
- low level
- expert systems
- object oriented
- relational databases
- multi agent
- data mining
- databases