Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...

Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström, p.403-457
Link zum Volltext

Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit, p.330-341
Link zum Volltext



Selbstreferenz, Tarski-Sätze und die Undefinierbarkeit der arithmetischen Wahrheit. Abstrakte Semantik und algebraische Behandlung der Logik. Die beiden Sätze von Lindström, p.458-504
Link zum Volltext


Interdisciplinary Description of Complex Systems, 2015-01, Vol.13 (4), p.558-568
2015
Link zum Volltext


Einleitung: Inhaltsübersicht
Strukturtypen der Logik, p.1-23
Link zum Volltext

Einleitung: Inhaltsübersicht
Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik, p.1-23
Link zum Volltext



Erklarung Begrundung Kausalitat
2, verb u erw Aufl 1983rd edition, 2013
Link zum Volltext



Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit, p.315-329
Link zum Volltext

Strukturtypen der Logik, p.315-329
Link zum Volltext




Identität
Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit, p.260-279
Link zum Volltext

Identität
Strukturtypen der Logik, p.260-279
Link zum Volltext


Junktoren
Strukturtypen der Logik, p.49-72
Link zum Volltext