From axioms to synthetic inference rules via focusing.

Sonia Marin Dale Miller Elaine Pimentel Marco Volpe

Published in: Ann. Pure Appl. Log. (2022)

Keyphrases

inference rules
first order logic
horn clauses
theorem proving
modal logic
theorem prover
natural deduction
conditional probabilities
truth values
logic programming language
propositional logic
logical framework
knowledge base
binary relations
knowledge representation