O vzájemné interakci kvantifikátorů v Godelových-Dummetových fuzzy logikách

Abstrakt

Clánek diskutuje axiomatizaci predikátových logik rozširujících základní Godel-Dummetovu logiku BG a zkoumá pro ne prenexovatelnost a vzájemnou vyjádritelnost kvantifikátoru.

Klíčová slova

• Interplay
• Quantifiers
• Godel-Dummett
• Fuzzy
• Logics