Sequent Prover (seqprover)

Sequent:
Output style:

[Top page]


Trying to prove with threshold = 0

---------- Lbot
p,bot --> 
----------- L/\
p/\bot --> 
-------------- Rbot
p/\bot --> bot

# Proved in 0 msec.

Trying to prove with threshold = 0

-------------- Lbot
bot --> p/\bot

# Proved in 0 msec.

Maintained by Naoyuki Tamura / Programmed by Naoyuki Tamura