On interplay of quantifiers in Gödel-Dummett fuzzy logics

DOI10.1007/s00153-005-0322-yzbMath1096.03022OpenAlexW2090285002MaRDI QIDQ2501163

Blanka Kozlíková, Vítězslav Švejdar

Publication date: 4 September 2006

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-005-0322-y

zbMATH Keywords

Kripke modelsprenexability

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Related Items (1)

Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics

Cites Work

• Unnamed Item
• Another proof of the strong completeness of the intuitionistic fuzzy logic
• Metamathematics of fuzzy logic
• Note on inter-expressibility of logical connectives in finitely-valued Gödel-Dummett logics
• A propositional calculus with denumerable matrix
• A non-arithmetical Gödel logic

This page was built for publication: On interplay of quantifiers in Gödel-Dummett fuzzy logics