A simplified form of condensed detachment (Q1903086): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Set OpenAlex properties. |
||
| (4 intermediate revisions by 3 users not shown) | |||
| Property / reviewed by | |||
| Property / reviewed by: N. K. Zamov / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: N. K. Zamov / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Principal type-schemes and condensed detachment / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3228599 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A Machine-Oriented Logic Based on the Resolution Principle / rank | |||
Normal rank | |||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/bf01048619 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2032880497 / rank | |||
Normal rank | |||
Latest revision as of 11:50, 30 July 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A simplified form of condensed detachment |
scientific article |
Statements
A simplified form of condensed detachment (English)
0 references
13 May 1996
0 references
The paper gives an attempt to define some version of the condensed detachment rule which is independent of the concept ``most general unifier''. Proving the equivalence of the introduced concept and the traditional one, the author uses the assertion that applying nontrivial substitution will increase the number of variable occurrences or decrease the number of distinct variables. This assertion contradicts a substitution \(\{f(y)/x\}\), where \(y\) is a new variable.
0 references
unification
0 references
condensed detachment
0 references
