Cauchy Completeness in Elementary Logic.
José Carlos CifuentesAntonio Mario SetteDaniele MundiciPublished in: J. Symb. Log. (1996)
Keyphrases
- set theory
- modal logic
- evolutionary programming
- principal component analysis
- logic programming
- computational properties
- classical logic
- order sorted
- machine learning
- defeasible logic
- automated reasoning
- genetic algorithm
- expressive power
- first order logic
- multi agent systems
- multi agent
- digital circuits
- predicate logic
- formal theory
- asynchronous circuits
- proof theory
- school children