Richard_Kennaway comments on Logic of Paradox: a (too) simple paraconsistent logic

[Richard_Kennaway]

I thought that was just ordinary syllogistic logic, i.e. the first-order theory of the subset relation.