关于 $\mathbb{R}^\infty$ 的棋盘子集的超直觉主义逻辑的一些注记
计算机科学中的逻辑
2018-08-21 v1
摘要
我研究了由 van Benthem 等人引入的 的棋盘子集的模态逻辑之超直觉主义类比。观察到该逻辑具有析取性质，包含 Scott 公理，不包含 Kreisel-Putnam 公理，且它是 Medvedev 逻辑的子逻辑。
关键词
引用
@article{arxiv.1808.06393,
title = {Some notes on the superintuitionistic logic of chequered subsets of $\mathbb{R}^\infty$},
author = {Tadeusz Litak},
journal= {arXiv preprint arXiv:1808.06393},
year = {2018}
}
备注
Extended and annotated version of my 2004 paper