Gödel-Dummett Predicate Logics and Axioms of Prenexability

Abstract

The paper discusses Gödel-Dummett predicate logics, and uses the notion of characteristic class to discuss their relationships.

Keywords

• Gödel-Dummett
• Predicate
• Logics
• Axioms
• Prenexability