Showing math.LOShow all
3 papers · 1 filter
math.LO2001
The Practice of Finitism: Epsilon Calculus and Consistency Proofs in Hilbert's Program
Richard Zach
After a brief flirtation with logicism in 1917-1920, David Hilbert proposed his own program in the foundations of mathematics in 1920 and developed it, in concert with collaborator…
math.LO2000
Quantified propositional Goedel logics
Matthias Baaz, Agata Ciabattoni, Richard Zach
It is shown that G-up, the quantified propositional Goedel-Dummett logic based on the truth-values set V-up = {1 - 1/n : n >= 1} u {1}, is decidable. This result is obtained by red…
math.LO2000
Hypersequents and the Proof Theory of Intuitionistic Fuzzy Logic
Matthias Baaz, Richard Zach
Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Goedel logic based on the truth v…