Items where Division is "04 Department of Mathematics > Logic" and Year is [pin missing: value2]
![]() | Up a level |
- TU Darmstadt (23)
- 04 Department of Mathematics (23)
- Logic (23)
- 04 Department of Mathematics (23)
B
Briseid, Eyvind Martol (2009)
On Rates of Convergence in Metric Fixed Point Theory.
Technische Universität
Ph.D. Thesis, Primary publication
C
Canavoi, Felix (2018)
Cayley Structures and the Expressiveness of Common Knowledge Logic.
Technische Universität
Ph.D. Thesis, Primary publication
D
Doat, Joël André (2021)
Reyes’ Topos of Reference and Modality from a fibrational Perspective.
Technische Universität
doi: 10.26083/tuprints-00019501
Master Thesis, Primary publication, Publisher's Version
E
Eickmeyer, Kord (2020)
Logics with Invariantly Used Relations.
Technische Universität Darmstadt, Fachbereich Mathematik, 2019
doi: 10.25534/tuprints-00013503
Habilitation, Primary publication
G
Gaspar, Jaime (2011)
Proof interpretations: theoretical and practical aspects.
Technische Universität
Ph.D. Thesis, Primary publication
K
Kartzow, Alexander (2011)
First-Order Model Checking on Generalisations of Pushdown Graphs.
Technische Universität
Ph.D. Thesis, Primary publication
Koutsoukou-Argyraki, Angeliki (2017)
Proof Mining for Nonlinear Operator Theory:
Four Case Studies on Accretive Operators, the Cauchy Problem and Nonexpansive Semigroups.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
Kreuzer, Alexander P. (2012)
Proof mining and combinatorics :
Program extraction for Ramsey's theorem for pairs.
Technische Universität
Ph.D. Thesis, Primary publication
Körnlein, Daniel (2016)
Quantitative Analysis of Iterative Algorithms in Fixed Point Theory and Convex Optimization.
Technische Universität Darmstadt
Ph.D. Thesis, Primary publication
L
Lichter, Moritz (2023)
Continuing the Quest for a Logic Capturing Polynomial Time -
Potential, Limitations, and Interplay of Current Approaches.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00024244
Ph.D. Thesis, Primary publication, Publisher's Version
S
Steinberg, Florian (2017)
Computational Complexity Theory for Advanced Function Spaces in Analysis.
Technische Universität
Ph.D. Thesis, Primary publication
W
Weinberger, Jonathan (2022)
A Synthetic Perspective on (∞,1)-Category Theory: Fibrational and Semantic Aspects.
Technische Universität
doi: 10.26083/tuprints-00020716
Ph.D. Thesis, Primary publication, Publisher's Version
Z
Zahn, Peter (2018)
Assertion Games to Justify Classical Reasoning.
In: Synthese, 2006, (148)
Article, Secondary publication
Zahn, Peter (2018)
Eignet sich "unbestimmt" als Wahrheitswert?
Report, Primary publication
Zahn, Peter (2019)
Ein modal-logisches Modell für Syllogismen.
doi: 10.25534/tuprints-00009672
Report, Primary publication
Zahn, Peter (2018)
Erblich endliche Mengen und die Widerspruchsfreiheit einer abgeschwächten Version von ZFC.
Report, Primary publication
Zahn, Peter (2019)
Erblich endliche Mengen und die Widerspruchsfreiheit einer abgeschwächten Version von ZFC (Erweiterte Fassung).
Report, Primary publication
Zahn, Peter (2020)
Gedanken zur Ontologie.
doi: 10.25534/tuprints-00011490
Report, Primary publication
Zahn, Peter (2021)
Grundlegung einer widerspruchsfreien Nichtstandard-Mathematik.
doi: 10.26083/tuprints-00017472
Report, Primary publication, Publisher's Version
Zahn, Peter (2018)
Interpretation unscharfer Aussagen bzw. Relationen
als Einermengen bzw. Funktionen.
Report, Primary publication
Zahn, Peter (2019)
Untersuchung einer widerspruchsfreien Modifikation von ZFC.
Report, Primary publication
Zahn, Peter (2021)
Von den erblich-endlichen Mengen bis zu den Delta-Funktionen : Grundlegung einer widerspruchsfreien Nichtstandard-Mathematik.
doi: 10.26083/tuprints-00019223
Report, Primary publication, Publisher's Version