层级 ${\mathbb{I}}^n {\mathbb{P}}^k$ 逻辑的一般公理化

Víctor Fernández

层级 ${\mathbb{I}}^n {\mathbb{P}}^k$ 逻辑的一般公理化

逻辑 2018-12-04 v1

作者: Víctor Fernández

摘要

本文借助有限矩阵形式定义了族 ${\mathbb{I}}^n {\mathbb{P}}^k$ := $\{{ I^n P^k}\}_{(n,k) \in \omega^2}$ 中的逻辑，作为弱直觉逻辑 $I^1$ 与次协调逻辑 $P^1$ 的同时推广。证明了该族可被自然排序，并给出了形如 $I^n P^k$ 的每种逻辑的恰当公理化。

关键词

多值逻辑有限矩阵公理化弱直觉逻辑次协调逻辑逻辑层级

引用

@article{arxiv.1812.00983,
  title  = {A General Axiomatization for the logics of the Hierarchy ${\mathbb{I}}^n {\mathbb{P}}^k$},
  author = {Víctor Fernández},
  journal= {arXiv preprint arXiv:1812.00983},
  year   = {2018}
}

备注

20 pages

层级 ${\mathbb{I}}^n {\mathbb{P}}^k$ 逻辑的一般公理化

摘要

关键词

引用

备注

相关论文