Login / Signup
On the recursive unsolvability of the provability of the deduction theorem in partial propositional calculi.
Dorothy Bollman
M. Tapia
Published in:
Notre Dame J. Formal Log. (1972)
Keyphrases
</>
recursive functions
intuitionistic logic
deductive reasoning
proof procedure
multi valued
first order logic
propositional logic
inference rules
theorem proving
genetic algorithm
default logic
classical logic
logic programming
truth maintenance systems