Assertion: algebraic logic | /r/CapableOf | offer little insight
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.