Rough sets and topology in AST: a study via higher-order fuzzy logic

DOI10.1007/978-3-030-74970-5_15zbMath1471.03075OpenAlexW3193744695MaRDI QIDQ2233205

Vilém Novák

Publication date: 15 October 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-74970-5_15

zbMATH Keywords

rough setsfuzzy type theorymathematical fuzzy logicfuzzy equalityindiscernibilityalternative set theory

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Nonclassical and second-order set theories (03E70)

Cites Work

• Unnamed Item
• On fuzzy type theory
• EQ-algebra-based fuzzy type theory and its extensions
• Rough sets

This page was built for publication: Rough sets and topology in AST: a study via higher-order fuzzy logic