АКСИОМАТИЗАЦИЯ ИНТУИЦИОНИСТСКИХ ЛОГИК, ОПРЕДЕЛЯЕМЫХ МАЛЫМИ ФРЕЙМАМИ
收藏NIAID Data Ecosystem2026-05-02 收录
下载链接：
https://data.mendeley.com/datasets/yszj5wyrdx
下载链接
链接失效反馈官方服务：
资源简介：
Исследуются табличные интуиционистские логики, семантически характеризуемые фреймами Крипке глубины не более 3 и ширины не более 2. Дана
аксиоматизация основных таких логик, построена порожденная ими решетка. Известные методы позволяют, используя данные аксиоматизации, задать аксиоматику
остальных логик решетки.
创建时间：
2025-09-01
