A note on the completeness of resolution without self-resolution
type: Item
instance of: scholarly article
title: A note on the completeness of resolution without self-resolution
zbMATH Open document ID: 0672.03004
DOI: 10.1016/0020-0190(89)90096-3
author: Norbert Eisinger
published in: Information Processing Letters
publication date: 1989-01-01T00:00:00Z
review text: The note shows that self-resolution in resolution-based deduction systems can be omitted. The completeness of resolution is a consequence of the completeness of hyperresolution.
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 4099255
zbMATH Keywords: self-resolution
zbMATH Keywords: resolution-based deduction systems
zbMATH Keywords: completeness
zbMATH Keywords: hyperresolution
reviewed by: Erica Melis
MaRDI profile type: Publication
full work available at URL: 0020-0190(89)90096-3
OpenAlex ID: W2076533854
cites work: Q5679729
cites work: Q4139711
cites work: Q3484383
cites work: Q3992821
description: scientific article; zbMATH DE number 4099255