The ω-rule

Studia Logica（2011）

引用 1|浏览4

暂无评分

摘要

We prove that all proofs in ω-logic (a first order logic with ω-rule added) in which ω-rule is used finitely many times can be turned into proofs in which the ω-rule is used at most one time. Next, we prove that the word “finitely” above cannot be changed by the word “infinitely”.

查看译文

关键词

Mathematical Logic,Computational Linguistic,Order Logic

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要