Login / Signup

On the 0-1 Law for the class of Existential Second Order Minimal Gödel Sentences with Equality

Leszek PacholskiWieslaw Szwast
Published in: LICS (1991)
Keyphrases
  • natural language
  • higher order
  • function symbols
  • minimal models
  • legal reasoning