Login / Signup

The subcompleteness of Magidor forcing.

Gunter Fuchs
Published in: Arch. Math. Log. (2018)
Keyphrases
  • nonmonotonic reasoning
  • default logic
  • decision trees
  • higher order
  • machine learning
  • upper bound
  • fuzzy logic