Search results

...primitive: $\neg$ and one of $\&,\lor,\supset$; the others are regarded as abbreviations, according to (1)–(4). In intuitionistic logic, $\&,\lor\supset$, and $\n

The abbreviations CCR and CAR, which stand for canonical commutation relations and canonical

...formulas of $L ^ { * }$, the quantifiers of $L ^ { * }$ are understood as abbreviations, viz. ...pure mathematics, they can be understood in a more concrete way, namely as abbreviations or blueprints for expressions involving certain $\varepsilon$-terms. And th

are then abbreviations:

...tic meaning. They can be either names, or forms of statements, definition-abbreviations, etc.

The quantifiers are introduced by means of abbreviations:

...enever $x$ is a variable. The various further notations can be regarded as abbreviations; for example, $x \subseteq y$ for "x is a subset of y" abbreviates $\fora

...cal algebra, introduced various mathematical symbols for several unknowns (abbreviations for the names of colours, which denoted the unknowns), the square, the squa