Re. your last remark, wouldn’t a distinction between premise-circularity and rule-circularity do the trick?
Re. your last remark, wouldn’t a distinction between premise-circularity and rule-circularity do the trick?