Login / Signup
Subformula and separation Properties in Natural Deduction via Small Kripke Models.
Peter Milne
Published in:
Rev. Symb. Log. (2010)
Keyphrases
</>
natural deduction
kripke models
modal logic
inference rules
machine learning
theorem prover
sequent calculus