Rudimentary Languages and Second Order Logic.
Malika MoreFrédéric OlivePublished in: Math. Log. Q. (1997)
Keyphrases
- expressive power
- highly expressive
- language independent
- formal language
- computational properties
- higher order
- modal logic
- classical logic
- object oriented languages
- cross lingual
- constraint language
- multi valued
- language identification
- digital circuits
- sound and complete axiomatization
- data sets
- logical framework
- probability theory
- data model
- relational databases
- machine learning