Simplification logic for the management of unknown information

DOI10.1016/J.INS.2023.03.015MaRDI QIDQ6127881zbMATH OpenOpenAlexFDO

Authors Francisco Pérez-Gámez, Pablo Cordero, Manuel Enciso, Angel Mora

Publication date 14 April 2024

Published in Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ins.2023.03.015

zbMATH Keywords

automated reasoningformal concept analysisimplicationssimplification logicunknown information

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cited in

(6)

• Aggregation of fuzzy graphs
• Extracting attribute implications from a formal context: unifying the basic approaches
• Handling incomplete information in formal concept analysis -- a possibilistic approach
• Attribute implications with unknown information based on weak Heyting algebras
• Attribute implications in multi-adjoint concept lattices with hedges
• An exploration of weak Heyting algebras: characterization and properties

This page was built for publication: Simplification logic for the management of unknown information

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6127881)