Category talk:Transitive Closures

I named it to match the pre-existing reflexive closure and reflexive reduction categories. --Dfeuer (talk) 20:53, 13 February 2013 (UTC)

Good call. Raised rename templates on those too. --prime mover (talk) 21:13, 13 February 2013 (UTC)

All done. --Lord_Farin (talk) 21:28, 13 February 2013 (UTC)

There may be more. The various subcategories of PropLog, note, are deliberately singular because they relate to the concept of e.g. Conjunction, Disjunction, Biconditional etc. rather than being about instances of those objects. Yes I know there's an inconsistency there. Important? --prime mover (talk) 22:04, 13 February 2013 (UTC)

Recommended course of action: resolve on ad hoc basis. --Lord_Farin (talk) 22:06, 13 February 2013 (UTC)