Login / Signup
A Sequent Calculus for a Negative Free Logic.
Norbert Gratzl
Published in:
Stud Logica (2010)
Keyphrases
</>
sequent calculus
cut elimination
linear logic
inference rules
modal logic
natural deduction
linear time temporal logic
wide class
proof search
temporal logic
classical logic
logical framework
theorem proving
theorem prover
artificial intelligence
fixed point
sufficient conditions
general purpose