Fréchet and the Logic of the Constitution of Abstract Spaces from Concrete Reality.
Luis Carlos ArboledaLuis Cornelio RecaldePublished in: Synth. (2003)
Keyphrases
- propositional dynamic logic
- logic programming
- classical logic
- high level
- modal logic
- sound and complete axiomatization
- logic programs
- data mining
- low level
- face recognition
- decision trees
- dynamic logic
- predicate logic
- set theory
- information retrieval
- real time
- logic synthesis
- natural deduction
- nonmonotonic logics
- probabilistic logic
- multi valued
- social networks
- higher level
- rough sets
- knowledge representation