A Tableau Method for Inconsistency-Adaptive Logics

TitleA Tableau Method for Inconsistency-Adaptive Logics
Publication TypeBook Chapter (with title)
Year of Publication2000
AuthorsBatens, D, Meheus, J
Secondary AuthorsDyckhoff, R
Book TitleAutomated Reasoning with Analytic Tableaux and Related Methods
SeriesLecture Notes in Artificial Intelligence
Volume1847
Pages127–142
PublisherSpringer
Abstract

We present a tableau method for inconsistency-adaptive logics and illustrate it in terms of the two best studied systems. The method is new in that adaptive logics require a more complex structure of the tableaus and of some rules and conditions. As there is no positive test for derivability in inconsistency-adaptive logics, the tableau method is important for providing criteria for derivability.

Citation KeyDJ:tabl1