RIS ID
87053
Abstract
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.
87053
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.
Publication Details
Bunder, M. W. (1995). A simplified form of condensed detachment. Journal of Logic, Language and Information, 4 (2), 169-173.