Login / Signup

Multiple Forms of Gentzen's Rules and Some Intermediate Logics.

Zvonimir Sikic
Published in: Math. Log. Q. (1984)
Keyphrases
  • neural network
  • artificial intelligence
  • horn clauses
  • learning algorithm
  • expressive power
  • modal logic
  • multi context systems