deductive logic tagslist