Linear-input subset analysis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations


There are syntactically identifiable situations in which reduction does not occur in chain format linear deduction systems, i.e. situations in which linear-input subdeductions are performed. Three methods of detecting these situations are described in this paper. The first method (Horn subset analysis) focuses on Horn input chains while the second (LISS analysis) and third (LISL analysis) are successive generalisations of the first method. A significant benefit that may be derived from detecting linear-input subdeductions is the applicability of a truth value deletion strategy in such subdeductions. The completeness of the deletion strategy is proved, and its efficacy indicated.

Original languageEnglish (US)
Title of host publicationAutomated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings
EditorsDeepak Kapur
PublisherSpringer Verlag
Number of pages13
ISBN (Print)9783540556022
StatePublished - 1992
Externally publishedYes
Event11th International Conference on Automated Deduction, CADE, 1992 - Saratoga Springs, United States
Duration: Jun 15 1992Jun 18 1992

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume607 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Other11th International Conference on Automated Deduction, CADE, 1992
Country/TerritoryUnited States
CitySaratoga Springs

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)


Dive into the research topics of 'Linear-input subset analysis'. Together they form a unique fingerprint.

Cite this