Definition:Logical Sign (Mathematical Theory)

Definition
A logical sign of a mathematical theory is a symbol which is specifically pre-defined for the class of the theory.

Bourbaki Definition
The mathematical theory as defined in 's specifies the logical signs as follows:

The logical signs of a mathematical theory $\TT$ are:
 * $\Box, \tau, \vee, \rceil$.