Geodesic

Zusammenfassung von mehreren vollständigen Induktionen zu einer einzigen.
p. 1-3
Remark on complete interpretations by models.
p. 4-9
Allgemeine Theorie der Voraussagen.
p. 10-14
Zur Begründung der Modallogik.
p. 15-28
Zur Begründung der zweiwertigen Aussagenlogik.
p. 29-32
Das fundamentale Implikationensystem einer implikativen Modalitätenstruktur mit idempotenter Möglichkeit.
p. 33-54
Ein System des verknüpfenden Schliessens.
p. 55-67
Die Soundness des Prädikatenkalküls auf der Basis der Quineschen Regeln.
p. 68-77
Ein Satz über die elementar-arithmetischen Definierbarkeitsklassen.
p. 78-86
Relationen- und Prädikatenlogische Untersuchungen zur Syllogistik.
p. 87-99
Zur Interpretation der Syllogistik.
p. 100-103
Über den Aussagenkalkül der Experimentalaussagen.
p. 104-105