Before revision: Formal concept analysis logic Formal logic is also known as symbolic logic and is widely used in mathematical logic.
After revision: Formal logic Formal logic is also known as symbolic logic and is widely used in mathematical logic.