弱 Grzegorczyk 逻辑无变量片段的复杂性
逻辑
2022-11-29 v1
摘要
本文证明了 K 与 wGrz 之间所有逻辑的无变量片段的 PSPACE 困难性。
引用
@article{arxiv.2211.14571,
title = {Complexity of the variable-free fragment of the weak Grzegorczyk logic},
author = {Irina Agadzhanian and Mikhail Rybakov},
journal= {arXiv preprint arXiv:2211.14571},
year = {2022}
}
备注
in Russian language