... VBU¹

VBU = J.- M. v. Petzinger: Das Verhältnis von Begriffs- und Urteilslogik. Ein Untersuchung verschiedener Logikkalküle mit einem Exkurs über die Antinomien und den Intuitionismus. Diss. Tübingen 1975

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Begriffsschrift``²

In: Begriffsschrift und andere Aufsätze. Hrsg. Ignacio Angelelli, Darmstadt, $^{\rm{3}}$1974; S. 100f bzw. (4)f.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Logik³

Amer. J. Math., 52 (1930)

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Vorgang⁴

Im Text steht tatsächlich zuerst Vorrang, dann Vorgang.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... Kalkül⁵

Verändert man das Vokabular des zugrundeliegenden Kalküls, so wird man eventuell auch den NF - Kalkül entsprechend anpassen müssen.

Bei Bedarf kann man noch weitere Relationen der Art  NF  einführen, etwa ,,$x$ ist frei für $y$ in $a$``, ,,$b$ entsteht aus $a$ durch Ersetzung von $x$ durch $t$`` u.ä.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... auszuschließen⁶

Besitzt ein Ausdruck A zwei verschiedene Übersetzungen B und C, so sollte  B   $\dashv \; \vdash$  C  bzw.  $\vdash$  B = C  o.ä. gelten.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.