2025年12月2日
POLIR-Logic-逻辑学: Propositional → Predicate(FOL→SOL→HOL) → Categoties
摘要： 在逻辑和数学上， Propositional Logic → FOL(First-Order Logic) → SOL(Second-Order Logic) → HOL(Higher-Order Logic) → Categories(类型论/范畴论) 二阶逻辑是一阶逻辑的扩展，一阶逻辑是命题逻辑 阅读全文
posted @ 2025-12-02 20:01 abaelhe 阅读(9) 评论(0) 推荐(0)