Adding files for Sequent Calculus LJ

Just the structure. The files are empty.
Adding information to Sequent Calculus LJ
Merge pull request #1 from gisellemnr/master

Sequent Calculus LJ
merge done
homogenized LJ and LK