预滤化、预稳定标准规则及库克茨沃尔茨-穆拉维茨基同构
逻辑
2025-11-14 v1
摘要
我们介绍了用于库克茨沃尔茨-穆拉维茨基直觉模态逻辑系统的预滤化和预稳定标准规则，并提供了一种对库克茨沃尔茨-穆拉维茨基同构的新证明，以及若干保存结果。证明运用了这些规则以及模态（Heyting）代数与其相应序拓扑空间之间的二元性。
引用
@article{arxiv.2511.09824,
title = {Pre-filtrations, Pre-stable Canonical Rules, and the Kuznetsov-Muravitsky Isomorphism},
author = {Nick Bezhanishvili and Antonio Maria Cleani},
journal= {arXiv preprint arXiv:2511.09824},
year = {2025}
}