Inference Rules in Nelson's Logics, Admissibility and Weak Admissibility.

Sergei Odintsov Vladimir V. Rybakov

Published in: Logica Universalis (2015)

Keyphrases

inference rules
modal logic
theorem proving
theorem prover
logic programming language
first order logic
proof procedures
logical framework
truth values
conditional probabilities
machine learning
natural deduction
horn clauses