Sheffer stroke operation on L-algebras via an algorithmic approach | Synapse