逻辑系统Logical system L(infinite-ary; infinite∨∧, Qx, complete)(或者谓词系统L(≤w;≤w, Qx, complete))

TL;DRAbstract

In this paner, Logical System L(≤ω;≤ω,Ox,complete) is offered, and some properties are proved.

Chat with Paper

AI Agents for this Paper