system LJ

1. redirect Sequent calculus#Intuitionistic sequent calculus: System LJ

{{Redirect category shell|

{{Redirect to section}}

}}