65 citations · 69 across the 3 of their papers we have counts for
1 paper · 1 filter
Matthias Baaz, Norbert Preining, Richard Zach
First-order Goedel logics are a family of infinite-valued logics where the sets of truth values V are closed subsets of [0, 1] containing both 0 and 1. Different such sets V in gen…