If you do not find what you're looking for, you can use more accurate words.
symbolic logic:- any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity (Princeton WordNet 3.1)