formal logic tagslist