Simplifying Implications with Positive and Negative Attributes: A Logic-Based Approach

Concepts and implications are two facets of the knowledge contained within a binary relation between objects and attributes. Simplification logic (SL) has proved to be valuable for the study of attribute implications in a concept lattice, a topic of interest in the more general framework of formal c...

Full description

Bibliographic Details
Main Authors: Francisco Pérez-Gámez, Domingo López-Rodríguez, Pablo Cordero, Ángel Mora , Manuel Ojeda-Aciego
Format: Article
Language:English
Published: MDPI AG 2022-02-01
Series:Mathematics
Subjects:
Online Access:https://www.mdpi.com/2227-7390/10/4/607