A framework for the transfer of proofs, lemmas and strategies from classical to non classical logics Ricardo CaferraStéphane DemriMichel Herment OriginalPaper Pages: 197 - 232
Theory matrices (for modal logics) using alphabetical monotonicity Ian P. Gent OriginalPaper Pages: 233 - 257
A reasoning method for a paraconsistent logic Arthur BuchsbaumTarcisio Pequeno OriginalPaper Pages: 281 - 289
The relative complexity of analytic tableaux and SL-resolution André Vellino OriginalPaper Pages: 323 - 337