epigramと公理的意味論

[id:lethevert:20050719:p2]でepigramをちょっと触れましたが、先日見つけた公理的意味論の例とよく似てると思いました。関連あるのかな？

公理的意味論に関して : http://web.sfc.keio.ac.jp/~hattori/prog-theory/main_c2_s3.html
epigramの例 : http://www.dur.ac.uk/CARG/epigram/example1.epi
公理的意味論の公理と推論規則の例 : http://web.sfc.keio.ac.jp/~hattori/prog-theory/axiom.xml