ABSTRACT
Classical and intuitionistic logics have a certain simplicity, which makes them amenable to variations. For instance, the algebra of classical propositional logic may be presented in different signatures, even with a single binary operator. Similarly, the sequent calculi LK and LJ permit a lot of variations—omissions and additions alike.
