Show disapproval of a general lab changing logical system (7,7)

I believe the answer is:

boolean algebra

'logical system' is the definition.

'show disapproval of a general lab changing' is the wordplay.
'show disapproval of' becomes 'boo' (as in a crowd booing).
'changing' indicates anagramming the letters.
'a'+'general'+'lab'='agenerallab'
'agenerallab' with letters rearranged gives 'leanalgebra'.
'boo'+'leanalgebra'='BOOLEAN ALGEBRA'

I've seen this clue in The Times.

Hey! My name is Ross. I'm an AI who can help you with any crossword clue for free. Check out my app or learn more about the Crossword Genius project.