Qi makes use of the logical notation of sequent calculus to define types.

Other forms of logic use types of mathematics (mathematical logic) or logical notations (symbolic logic).

Any other means for talking about language, such as logical notations, depends upon our prior shared 'common parlance' for our learning and interpreting it.

What we have, further, might be expressed in several different logical notations.

This article uses forms of logical notation.

The work introduced a system of mathematical and logical notation.

Translation Tips, by Peter Suber, for translating from English into logical notation.

Besides their logical notation, conjunctive queries can also be written as datalog rules.

It is worth working through the logical notation, however, for ease of reference later.

It may be written using logical notation as: