Login / Signup
The Completeness Theorem for Infinitary Logic.
Richard Mansfield
Published in:
J. Symb. Log. (1972)
Keyphrases
</>
intuitionistic logic
logic programming
multi valued
classical logic
von neumann
proof theory
machine learning
modal logic
dynamic logic
order sorted
neural network
linear logic
deontic logic
abductive reasoning
predicate logic
defeasible logic
automated reasoning
case study
artificial intelligence