Categorical logic and Formal logic

Formal logic and categorical logic are semantically related in traditional logic topic. In some cases you can use "Formal logic" instead a noun phrase "Categorical logic".

Formal logic noun - Any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity.

Categorical logic and formal logic are semantically related in traditional logic topic. You can use "Categorical logic" instead a noun phrase "Formal logic".