CLE e-Prints

TitleSome Computational Aspects of Inconsistency-Adaptive logics
Publication TypeJournal Article
Year of Publication2002
AuthorsBatens, D
JournalCLE e-Prints
Pagination15 pp.

This paper concerns a goal directed proof procedure for the propo- sitional fragment of the adaptive logic ACLuN1. The procedure forms an algorithm for final derivability and may easily be generalized for the propositional fragment of all at adaptive logics. The aim is to articulate a procedure that, if extended to the predicative level, provides criteria for final derivability.

Citation KeyD:scaial
Download PDF (Author PDF)
PDF author (public):