Wang のほうの資料は見つかったけど
同等性のほうの参考文献みつけられません…

同等性はセマンティクスを経由せずに証明できますか？
Deduction Theorem や完全性定理を仮定せずに証明できそうですか？

３つの公理スキーマについては、どの３種類を選ぶかは固定しておりませんが
その手法はそれでも適用できそうですか？