Decidability in Pre-rough Algebras: Extended Abstract

DOI10.1007/978-3-319-99368-3_40zbMath1528.03092OpenAlexW2887482793MaRDI QIDQ6104478

Minghui Ma, Mihir Kumar Chakraborty, Zhe Lin

Publication date: 28 June 2023

Published in: Rough Sets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-99368-3_40

zbMATH Keywords

decidabilityfinite model propertypre-rough algebra

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other algebras related to logic (03G25) Logical aspects of Boolean algebras (03G05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Covering-based rough sets and modal logics. I.
• Algebraic structures in the vicinity of pre-rough algebra and their logics
• Covering based rough set approximations
• The algebraic structures of generalized rough set theory
• An algebraic approach to non-classical logics
• Covering-based rough sets and modal logics. II.
• Algebraic structures in the vicinity of pre-rough algebra and their logics. II
• Relational interpretations of neighborhood operators and rough set approximation operators
• Generalized rough sets based on relations
• Interpolation and FEP for logics of residuated algebras
• Rough sets

This page was built for publication: Decidability in Pre-rough Algebras: Extended Abstract