Logic Tag

2024

10-07

【Under Construction】一些逻辑话题：递归论初步与哥德尔不完备定理

09-19

一些逻辑话题：如何证明自然演绎系统的一致性、完备性，以及直觉主义逻辑

06-16

Revision | 软件科学基础

01-25

在 Agda 中定义演绎系统并进行定理证明

2023

12-27

Agda 定义中带 with 的函数的归纳：with inspect 和 ⊥ 的使用

0%