Upside-down meta-interpretation of the model elimination theorem-proving procedure for deduction and abduction Mark E. Stickel OriginalPaper Pages: 189 - 210
The liberalized δ-rule in free variable semantic tableaux Reiner HähnlePeter H. Schmitt OriginalPaper Pages: 211 - 221
Tableau-based characterization and theorem proving for default logic Vincent RischCamilla B. Schwind OriginalPaper Pages: 223 - 242
A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics Marcello D'AgostinoDov M. Gabbay OriginalPaper Pages: 243 - 281