Login / Signup
A Natural Deduction and its Corresponding Sequent Calculus for Positive Contraction-less Relevant Logic.
Mirjana Ilic
Published in:
Reports Math. Log. (2017)
Keyphrases
</>
natural deduction
sequent calculus
cut elimination
inference rules
theorem prover
linear logic
linear time temporal logic
intuitionistic logic
modal logic
proof theoretic
theorem proving
proof search
wide class
general purpose
machine learning
sufficient conditions
bayesian networks