Sequent Prover (seqprover)

Sequent:
Output style:

[Top page]


Trying to prove with threshold = 0

------- Ax
p --> p
----------- Ltop
p,top --> p
------------ L/\
p/\top --> p

# Proved in 0 msec.

Trying to prove with threshold = 0

------- Ax  --------- Rtop
p --> p     p --> top
--------------------- R/\
    p --> p/\top

# Proved in 0 msec.

Maintained by Naoyuki Tamura / Programmed by Naoyuki Tamura