Gödel's Natural Deduction.

Kosta Dosen Milos Adzic

Published in: Stud Logica (2018)

Keyphrases

natural deduction
theorem prover
inference rules
social bookmarking
cut elimination
theorem proving
intuitionistic logic
sequent calculus
artificial intelligence
high level
modal logic
social networking
linear logic
desirable properties
automated reasoning