逻辑沙龙 | 斯图德：非良基证明与循环证明

文摘 2024-09-02 14:03 北京

逻辑沙龙 Logic Salon

托马斯·斯图德
Thomas Studer:

非良基证明与循环证明
Non-wellfounded and cyclic proofs

摘要：

Non-wellfounded and cyclic proofs provide a formal counterpart to proofs by infinite descent. So, proofs of this kind are helpful for logics dealing with inductive (and coinductive) definitions. This includes systems of arithmetic (induction over the natural numbers) and modal logics with fixed points (common knowledge and temporal operators). In this talk, I will introduce non-wellfounded and cyclic proofs and study their proof-theoretic properties.

报告人：托马斯·斯图德（伯尔尼大学）

时间：2024年9月4日(周三)16:00-17:30

地点：清华大学逻辑学研究中心

(蒙民伟人文楼 329)

关注我们，及时获取更多关于清华-阿姆斯特丹逻辑学联合研究中心的研究成果、科研教学活动、前沿问题研究进展及其他相关资讯。

水木逻辑

Tsinghua-UvA Joint Research Center in Logic 的研究成果、科研教学活动资讯、逻辑学前沿问题研究进展、与中心相关的其他信息。

注册通知｜第七届亚洲哲学逻辑国际会议

庆祝2025年世界逻辑日！—— 清华大学-阿姆斯特丹大学逻辑学联合研究中心年度成果分享（学术活动）

庆祝2025年世界逻辑日！—— 清华大学-阿姆斯特丹大学逻辑学联合研究中心年度成果分享（学术成果）

世界逻辑日讲座 | 摩西·瓦迪：机器学习与逻辑：快速与慢速思考

2nd CfP: LORI-10, 16 - 19 October 2025, Xi'an (China)

新闻速递 | 跨学科对话：清华美院陈亚琦博士的艺术分享会

会议预告 | 逻辑学工作坊

CfA: PhD scholarship in Logic and AI - DTU, Copenhagen, Denmark

CfP: LORI-10, 16 - 19 October 2025, Xi'an (China)

逻辑沙龙 | 耿幽静：关于早期中国论辩结构的探讨

逻辑沙龙 | 杨小璐：早期语言知识：来自汉语幼儿语言感知与理解实验研究的证据

喜讯 | 逻辑学研究中心刘奋荣教授论文发表

清茶会丨郑文龙：供选可能性的认知维度：基于STIT逻辑的呈现

讲座预告 | Formalising Wittgensteinian Certainty: First Steps

CfA: Postdocs in Human(e) AI, University of Amsterdam

清茶会丨张力竹：一个基于概率区间分裂语言的表列演算；王威：允许依赖的联盟逻辑：表示定理、有穷模型性与完全性

逻辑沙龙 | 汉斯·范迪特马希：再论分布式知识

清茶会丨杨思思：子集空间逻辑的两类模型的转换探索

逻辑沙龙 | 列夫·别克列米舍夫：周期性框架

会议预告 | 第十四届清华逻辑论坛（因果推理与决策过程）

逻辑沙龙 | 范丙申：联结不同的逻辑：“翻译”和“信息追踪”

清茶会丨杨曦：量词数量博弈

新闻速递｜“逻辑与博弈国际研讨会”在山西太原顺利举办

逻辑沙龙 | 多布林嫩：大拉姆齐度与逻辑

清茶会丨何清瑜：布尔依赖逻辑

讲座预告 | Compositionality, Consequence, and the Meaning of Logical

会议议程 | 逻辑与博弈国际研讨会

清茶会丨罗昊轩：一种基于不一致集的语义模型及其对应的框架性质；欧阳文飞：依赖关系及其表示定理

逻辑沙龙 | 文学锋：语境中的条件句、模态与有效性

清茶会丨杜鹏昊：投毒博弈的模态逻辑：公理化与不可判定性

清茶会丨李文娟：无穷语言的决定性：从非确定型到概率型；林仪立：分布式信念——聚合可能冲突的信息

逻辑沙龙 | 徐源：人工智能前沿技术及其社会应用

清茶会丨赵博囡：因果推广的计算模型

欢迎逻辑学中心新成员

逻辑沙龙 | 斯图德：非良基证明与循环证明

喜讯 | 魏达格教授新书 Foundations of Logic 受国际博客推荐

转载｜王逸骞：以梦为马

征稿启事（截止日期延后）｜第七届亚洲哲学逻辑国际会议

会议预告 | 第十二届清华逻辑论坛（夏季会议：逻辑学前沿进展）

新闻速递 | 刘奋荣教授当选为国际哲学学院院士

喜讯 | 逻辑学研究中心博士生陈谦论文发表

新闻速递 | 第四届清华逻辑暑期学校举办

文科沙龙嘉宾观点 | 刘奋荣：逻辑学与人工智能：赋能高等教育的新视角

从清华逻辑到下一站星辰大海

清华逻辑随笔｜刘奋荣、李大柱：社会网络逻辑在中国的十年简史

【书评】臧艳雨：《社会认知逻辑》述评

新闻速递 | 第三届国际逻辑与哲学研讨会在清华大学举行

清茶会丨赵奕辰：专有覆盖模态

分类

时事

民生

政务

教育

文化

科技

财富

体娱

健康

情感

旅行

百科

职场

楼市

企业

乐活

学术

汽车

时尚

创业

美食

幽默

美体

文摘

原创标签

时事社会财经军事教育体育科技汽车科学房产搞笑综艺明星音乐动漫游戏时尚健康旅游美食生活摄影宠物职场育儿情感小说曲艺文化历史三农文学娱乐电影视频图片新闻宗教电视剧纪录片广告创意壁纸头像心灵鸡汤星座命理教育培训艺术文化金融财经健康医疗美妆时尚餐饮美食母婴育儿社会新闻工业农业时事政治星座占卜幽默笑话独立短篇连载作品文化历史科技互联网

发布位置

广东北京山东江苏河南浙江山西福建河北上海四川陕西湖南安徽湖北内蒙古江西云南广西甘肃辽宁黑龙江贵州新疆重庆吉林天津海南青海宁夏西藏香港澳门台湾美国加拿大澳大利亚日本新加坡英国西班牙新西兰韩国泰国法国德国意大利缅甸菲律宾马来西亚越南荷兰柬埔寨俄罗斯巴西智利卢森堡芬兰瑞典比利时瑞士土耳其斐济挪威朝鲜尼日利亚阿根廷匈牙利爱尔兰印度老挝葡萄牙乌克兰印度尼西亚哈萨克斯坦塔吉克斯坦希腊南非蒙古奥地利肯尼亚加纳丹麦津巴布韦埃及坦桑尼亚捷克阿联酋安哥拉