Login / Signup

On the algebraization of Henkin-type second-order logic.

Miklós Ferenczi
Published in: Math. Log. Q. (2022)
Keyphrases
  • hessian matrix
  • logic programming
  • multi valued
  • neural network
  • learning algorithm
  • artificial intelligence
  • knowledge base
  • decision trees
  • first order logic
  • modal logic
  • proof theory