粗糙概念逻辑的标号演算
逻辑
2024-01-19 v1
摘要
我们为基本正规非分配模态逻辑 L 及其部分公理扩张引入了可靠且完备的标号矢列演算，其中标号是丰富形式背景的一阶语言的原子公式，即基于形式背景的关系结构，为这些逻辑提供完备的语义。我们还将这些演算进行扩展，为粗糙形式背景的逻辑提供证明系统。
引用
@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}
}