摘要
本文是《法律规范逻辑》系列论文的第４篇。它以狭义谓词演算为基础，在其形式语言中添加专指“制裁”行为的谓词常项，添加专指“国家机关”这种法人的个体常项，添加规范词的定义，但不添加推演工具，就可次生出关于法律规范的逻辑。它能满足法律提出的种种逻辑要求，远多于任何一个传统的规范逻辑系统。
The logical system Qs is obtained from the pure predicate calculus by adding a binary predicate constant S which denotes the sanctions, an individual constant c denoting the state institutions, and some definitions of deontic modal words but not adding axioms or deducible means. Such a system may satisfy legal issues better than any traditional deontic logic systems.
出处
《兰州大学学报（社会科学版）》
CSSCI
北大核心
1997年第2期72-80,共9页
Journal of Lanzhou University（Social Sciences）
