Assertion: logic | /r/HasProperty | studied using cylindric algebras
Facets:
Source sentences:
text: Stronger logics, such as first-order logic and higher-order logic, are studied using more complicated algebraic structures such as cylindric algebras.