Nonmonotonic consequence based on intuitionistic logic
scientific article