Explanations in logic.

Francesca Poggiolesi Rineke Verbrugge

Published in: AiML (2022)

Keyphrases

predicate logic
modal logic
multi valued
sound and complete axiomatization
artificial intelligence
search engine
knowledge base
website
artificial neural networks
expressive power
automated reasoning
classical logic
truth values
formal theory
natural deduction