A simplified form of condensed detachment
暂无分享,去创建一个
This paper gives a simple, elegant statement of the condensed detachment rule that is independent of most general unifiers and proves that this is equivalent to the longer, more usual, formulation.
[1] J. Roger Hindley,et al. Principal type-schemes and condensed detachment , 1990, Journal of Symbolic Logic.
[2] N. Campbell. Formal Logic. , 1931, Nature.
[3] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.