On consistent functions for neighborhood systems
From MaRDI portal
Publication:2191230
DOI10.1016/j.ijar.2020.03.002zbMath1445.68218MaRDI QIDQ2191230
En Bing Lin, Yu-Ru Syau, Churn-Jung Liau
Publication date: 24 June 2020
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2020.03.002
modal logic; granular computing; neighborhood semantics; neighborhood system; consistent function; closure and interior operators
03B45: Modal logic (including the logic of norms)
68T27: Logic in artificial intelligence
68T37: Reasoning under uncertainty in the context of artificial intelligence