ririg 的模态扩张
逻辑
2022-08-10 v1
摘要
本文引入 I-模态 ririg 簇。我们通过 I-滤子刻画其成员的同余格，并给出 I-滤子生成的刻画。我们还对由收缩型 I-模态 ririg 子簇的链所生成的簇给出公理化表示。最后，我们引入一种以 I-模态 ririg 作为等价代数语义的带 I-模态逻辑的海尔伯特式演算，并证明该逻辑具有参数化局部演绎-分离定理。
引用
@article{arxiv.2208.04533,
title = {Modal expansions of ririgs},
author = {Agustín L. Nagy and William J. Zuluaga Botero},
journal= {arXiv preprint arXiv:2208.04533},
year = {2022}
}