其形式性质类似道义与知识概念的一种逻辑

• a system of logic whose formal properties resemble certain moral and epistemological concepts