АКСИОМАТИЗАЦИЯ ИНТУИЦИОНИСТСКИХ ЛОГИК, ОПРЕДЕЛЯЕМЫХ МАЛЫМИ ФРЕЙМАМИ
收藏NIAID Data Ecosystem2026-05-02 收录
官方服务：
资源简介：
Исследуются табличные интуиционистские логики, семантически характеризуемые фреймами Крипке глубины не более 3 и ширины не более 2. Дана аксиоматизация основных таких логик, построена порожденная ими решетка. Известные методы позволяют, используя данные аксиоматизации, задать аксиоматику остальных логик решетки.
创建时间：
2025-09-01
相关数据集
暂无相关数据集
