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