Original: Logical systems can be seen as a formal language with additional constructs, like proof calculi, which define a consequence relation.
Simplified: Examples