Labelled calculi for the logics of rough concepts
Logic
2024-01-19 v1
Abstract
We introduce sound and complete labelled sequent calculi for the basic normal non-distributive modal logic L and some of its axiomatic extensions, where the labels are atomic formulas of the first order language of enriched formal contexts, i.e., relational structures based on formal contexts which provide complete semantics for these logics. We also extend these calculi to provide a proof system for the logic of rough formal contexts.
Keywords
Cite
@article{arxiv.2401.10143,
title = {Labelled calculi for the logics of rough concepts},
author = {Ineke van der Berg and Andrea De Domenico and Giuseppe Greco and Krishna Manoorkar and Alessandra Palmigiano and Mattia Panettiere},
journal= {arXiv preprint arXiv:2401.10143},
year = {2024}
}