Formalizing Lattice-Theoretical Aspects of Rough and Fuzzy Sets

DOI10.1007/978-3-319-25754-9_31zbMath1444.68291MaRDI QIDQ3300368

Adam Grabowski, Takashi Mitsuishi

Publication date: 28 July 2020

Published in: Rough Sets and Knowledge Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-25754-9_31

Mathematics Subject Classification ID

03E72: Theory of fuzzy sets, etc.

68T37: Reasoning under uncertainty in the context of artificial intelligence

03G10: Logical aspects of lattices and related structures

68V20: Formalization of mathematics in connection with theorem provers

Uses Software

• Mizar