-provability logic of HA.

Mohammad Ardeshir S. Mojtaba Mojtahedi

Published in: Ann. Pure Appl. Log. (2018)

Keyphrases

logic programming
classical logic
proof theory
neural network
decision making
genetic algorithm
search algorithm
modal logic
multi valued
probabilistic logic
formal language
deontic logic
dynamic logic
logical operations
deductive reasoning