Zur Widerspruchsfreiheit einer typenfreien Logik

DOI10.1007/BF01343133MaRDI QIDQ2650840zbMATH OpenOpenAlexFDO

Authors Kurt Schütte

Publication date 1953

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/160320

zbMATH Keywords

philosophy and foundations of mathematics

Cites work

• Beweistheoretische Erfassung der unendlichen Induktion in der Zahlentheorie
• Beweistheoretische Untersuchung der verzweigten Analysis
• Schlussweisen-Kalküle der Prädikatenlogik
• Widerspruchsfreier Aufbau einer typenfreien Logik. (Erweitertes System.) I, II

Cited in

(1)

• Ein Typenfreies System der Logik mit Ausreichender Mathematischer Anwendungsfähigkeit I

This page was built for publication: Zur Widerspruchsfreiheit einer typenfreien Logik

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2650840)