Assertion: logic's aspect | /r/HasProperty | universal algebraic
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.