Assertion: order logic | /r/CapableOf | inspire their creation
Facets:
Source sentences:
text: As Halmos (1956 b, c and d) noted, these new algebraic logics tended to focus on studying the extent to which they captured first-order logic and on their universal algebraic aspects such as axiomatizations and structure theorems, but offered little insight into the nature of the first-order logic which inspired their creation.