Learning from {\L}ukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)