Learn More
Substructural logics are traditionally obtained by dropping some or all of the structural rules from Gentzen’s sequent calculi LK or LJ. It is well known that the usual logical connectives then split(More)