合舍系统及其定理的能行证明

以合舍作为唯一初始联结词,在括号表示法中,只需要使用一对左右括号“「」”就可以无歧义地表达所有的逻辑函数,并进而建立包括括号“「」”的引入规则和消去规则在内的自然推演系统NPD1,可以证明该系统与通常的命题逻辑推理系统相等价。通过定义可以给出常见的其他联结词并证明相关定理。受亚里士多德化归思想的启发,构建了系统NPD1的7组化归规则,并给出化归程序;依据此程序,可以将系统内的任一定理能行地化归为一个形如<A(A)>的公式。

我国公司人格否认制度适用规则探究——以濮阳兴业新能源有限公司等损害公司债权人利益责任纠纷案为例

公司作为一个独立的市场主体,因其具有独立的财产和责任,在市场经济中具有重要的作用。公司法人制度的出现使得创业热情得到了提高。但同时,这种机制又成为“逐利者”规避风险、逃避责任的手段,增加了其风险,造成了对债权人和公司股东权益保护的不平衡。法人人格否认制度就是基于这种现象产生的。本文将从具体的案例入手引出对公司人格否认制度的介绍以及具体的使用规则,并对不足之处的完善进行了探讨。