R-Mingle模型的范畴
逻辑
2021-06-09 v2
摘要
我们基于Davey-Werner带对合的格的自然对偶，给出了Sugihara幺半群范畴的一种新的Esakia风格对偶，并利用这一对偶大幅简化了Galatos-Raftery从某些负锥富集构造Sugihara幺半群的方法。我们获得此简化的方法是将Galatos-Raftery构造的函子跨越我们的对偶进行传输，从而在对偶上得到远为透明的呈现。由于我们的对偶将Dunn的R-mingle逻辑的关系语义扩展为范畴等价，这也解释了Dunn语义及其与更常见的Routley-Meyer相关逻辑语义之间的关系。
引用
@article{arxiv.1710.04256,
title = {Categories of Models of R-Mingle},
author = {Wesley Fussner and Nick Galatos},
journal= {arXiv preprint arXiv:1710.04256},
year = {2021}
}