1 paper · 1 filter
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…