72 citations · 342 across the 22 of their papers we have counts for
Showing 2000 · math.LOShow all
2 papers · 2 filters
math.LO2000★ 2 cited
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★ 40 cited
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…