首页
中心概况
中心简介 规章制度 机构设置 中心简报 媒体ILI
研究机构
现代逻辑与人工智能 哲学逻辑与逻辑哲学 逻辑与认知
科学研究
学术论文 学术专著 科研项目
研究团队
专职人员 博士后人员 离退休人员 研究生 校内兼职人员 校外兼职人员
招生培养
招生计划 培养计划 研究生课程表
天辅基金
基金概况 机构设置 新闻动态
重庆市逻辑学会 联系我们
ENG
Introduction of ILI Organization Researchers Announcements Invited Talks Conferences About & Contact
首页 中心概况
中心简介 规章制度 机构设置 中心简报 媒体ILI
研究机构
现代逻辑与人工智能 哲学逻辑与逻辑哲学 逻辑与认知
科学研究
学术论文 学术专著 科研项目
研究团队
专职人员 博士后人员 离退休人员 研究生 校内兼职人员 校外兼职人员
招生培养
招生计划 培养计划 研究生课程表
天辅基金
基金概况 机构设置 新闻动态
重庆市逻辑学会 联系我们 ENG
Introduction of ILI Organization Researchers Announcements Invited Talks Conferences About & Contact
Center Overview
新闻动态（News） 通知公告（Announcements） 天辅逻辑论坛（Tianfu Logic） 师生活动（Seminars & Events） 第18届全国现代逻辑学术研讨会 学生及毕业生
首页/ 天辅逻辑论坛（Tianfu Logic）/ 正文
Pavel Naumov：真值集代数：不可定义性证明的新方法

发布时间：2023-09-04 00:00

作者：本站编辑

来源：本站原创

浏览次数：

上一篇： 报告回顾 | Pavel Naumov："真值集代数：不可定义性证明的新方法"

下一篇： 李延军：“概率逻辑系统”报告回顾

关注我们 Logic_SWU
联系邮箱 logic2004@swu.edu.cn
联系地址 中国·重庆·北碚区天生路2号
CopyRight Reserved 西南大学逻辑与智能研究中心 版权所有