Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655].
Vasco BrattkaAndrea CettoloGuido GherardiAlberto MarconeMatthias SchröderPublished in: Ann. Pure Appl. Log. (2017)
Keyphrases
- artificial neural networks
- intuitionistic logic
- using artificial neural networks
- neural network
- neural nets
- classical logic
- logic programming
- genetic algorithm
- modal logic
- discrete geometry
- feed forward
- johnson lindenstrauss
- data sets
- computational properties
- predicate logic
- application of artificial neural networks
- markov chain
- fuzzy logic
- learning algorithm
- nonmonotonic logics
- sound and complete axiomatization