Gödelovy-Dummettovy predikátové logiky a axiomy prenexovatelnosti

Abstrakt

Článek studuje Gödelovy-Dummettovy predikátové logiky, a s využitím pojmy charakteristická třída studuje jejich vztahy.

Klíčová slova

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