Variants of Gödel's Ontological Proof in a Natural Deduction Calculus.

Annika Kanckos Bruno Woltzenlogel Paleo

Published in: Stud Logica (2017)

Keyphrases

natural deduction
theorem prover
sequent calculus
cut elimination
inference rules
theorem proving
intuitionistic logic
knowledge representation
social bookmarking
linear logic
linear time temporal logic
computer algebra
modal logic
description logics
ontological framework
active learning
machine learning