Additive Gödel Logic

Abstract

We study an extension of \g propositional logic whose corresponding algebra is an ordered Abelian group. Then we expand the ideas to first-order case of this logic.

References in corpus (1)

• From rational Godel logic to continuous ultrametric logic