Sound Logic without Paradox. - David A. Fisher; Stephen Fisher; Donna M. Lambie (RuleML+RR (Companion), 2023)