Category:Property implications

This is a supercategory. The subcategories of this are categories listing property implications over specific context spaces.