Open Access. Powered by Scholars. Published by Universities.®
Social and Behavioral Sciences Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 1 of 1
Full-Text Articles in Social and Behavioral Sciences
A Simplified Form Of Condensed Detachment, M W. Bunder
A Simplified Form Of Condensed Detachment, M W. Bunder
Faculty of Engineering and Information Sciences - Papers: Part A
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.