Login / Signup
Natural Deduction and Sequent Calculus for Intuitionistic Relevant Logic.
Neil Tennant
Published in:
J. Symb. Log. (1987)
Keyphrases
</>
natural deduction
sequent calculus
cut elimination
linear logic
theorem prover
inference rules
intuitionistic logic
linear time temporal logic
proof theoretic
theorem proving
proof search
modal logic
wide class
fixed point
desirable properties