A procedural criterion for final derivability in inconsistency-adaptive logics
scientific article; zbMATH DE number 2165051
scientific article