Login / Signup
Sequent calculus for 3-valued paraconsistent logic QMPT0.
Naoyuki Nide
Yuki Goto
Megumi Fujita
Published in:
Log. J. IGPL (2019)
Keyphrases
</>
sequent calculus
cut elimination
inference rules
linear logic
modal logic
natural deduction
wide class
linear time temporal logic
theorem prover
theorem proving
proof search
classical logic
logic programming