逻辑学研究
搜索
逻辑学研究
2021年3期
浏览往期
订阅
目录
Sahlqvist Correspondence for Instantial Neighbourhood Logic*
含例邻域逻辑的萨奎斯特对应理论
一个真值函项偶然逻辑的希尔伯特演算系统
带定性判断的计分投票制及其公理刻画
自组织多主体系统动态性的推理研究
能力模态与析取分配原则
