BPL、IPL与OL的统一关系语义——无析取的公理化
逻辑
2024-12-13 v2
摘要
本文提出命题语言的一种关系语义，它统一了直觉主义逻辑、Visser基本命题逻辑与正交逻辑的关系语义。分别在语言 与 下，我们将此基本逻辑及对应于不同框架条件（自反性、对称性、传递性）组合的更强逻辑予以公理化。我们还给出了从这些命题逻辑到模态逻辑的翻译。
引用
@article{arxiv.2207.07306,
title = {A unified relational semantics for BPL, IPL and OL -- axiomatization without disjunction},
author = {Zhicheng Chen},
journal= {arXiv preprint arXiv:2207.07306},
year = {2024}
}