formal systems and structures 6237298