Labelled calculi for the logics of rough concepts
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866913199608037376 |
|---|---|
| author | van der Berg, Ineke De Domenico, Andrea Greco, Giuseppe Manoorkar, Krishna Palmigiano, Alessandra Panettiere, Mattia |
| author_facet | van der Berg, Ineke De Domenico, Andrea Greco, Giuseppe Manoorkar, Krishna Palmigiano, Alessandra Panettiere, Mattia |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_10143 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Labelled calculi for the logics of rough concepts van der Berg, Ineke De Domenico, Andrea Greco, Giuseppe Manoorkar, Krishna Palmigiano, Alessandra Panettiere, Mattia Logic 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. |
| title | Labelled calculi for the logics of rough concepts |
| topic | Logic |
| url | https://arxiv.org/abs/2401.10143 |