Employing path dissolution to shorten tableaux proofs

1 January 1989

proceedings article
Published by Association for Computing Machinery (ACM)

p. 373-381
https://doi.org/10.1145/74540.74584

Abstract

Path dissolution is an inferencing mechanism that generalizes the method of analytic tableaux. The main result presented is that every non-trivial step in any tableau proof can be speeded up with the application of dissolution techniques.

Keywords

MAIN RESULT
PATH DISSOLUTION
INFERENCING MECHANISM
EMPLOYING PATH DISSOLUTION
TABLEAU PROOF
NON-TRIVIAL STEP
TABLEAUX PROOF
DISSOLUTION TECHNIQUE
ANALYTIC TABLEAU

This publication has 0 references indexed in Scilit: