University of Calgary

UofC Navigation

You are looking at an archived page. The website has moved to richardzach.org.

*Annals of Pure and Applied Logic* **147** (2007) 23-47 (with Matthias Baaz and Norbert Preining)

First-order Gödel logics are a family of finite- or 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 general determine different Gödel logics **G*** _{V}* (sets of those formulas which evaluate to 1 in every interpretation into

doi:10.1016/j.apal.2007.03.001