Login / Signup

Omitting types for infinitary [0,1]-valued logic.

Christopher J. Eagle
Published in: Ann. Pure Appl. Log. (2014)
Keyphrases
  • valued logic
  • classical logic
  • propositional logic
  • bayesian networks
  • first order logic
  • real time
  • neural network
  • data mining
  • artificial neural networks
  • fuzzy logic
  • general purpose
  • logic programs