Open AccessA simplified form of condensed detachment
Author(s) -
M. W. Bunder
Publication year - 1995
Publication title -
journal of logic language and information
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.252
H-Index - 30
eISSN - 1572-9583
pISSN - 0925-8531
DOI - 10.1007/bf01048619
Subject(s) - simple (philosophy) , statement (logic) , theoretical physics , mathematical economics , calculus (dental) , statistical physics , physics , computer science , mathematics , epistemology , philosophy , medicine , dentistry
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.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom