分离规则相关论文
在著名的形式演绎系统L*中引入一种新的运算(○+),讨论了这种运算的性质,得到了形式演绎系统的弱演绎定理.......
本文认为逻辑思维的基本特征是确定性和论证性.反映思维确定性的逻辑基本规律是同一律、矛盾律和排中律.反映思维论证性的逻辑基本......
实用艺术作品的认定是困扰著作权理论与实践的难题。实用艺术作品的认定遵循分离规则,即艺术成分可以区分于实用功能并独立存在。......
充足理由律既不是逻辑思维的基本规律,也不是论证的基本规律.在为充足理由律辩护的两个主要理由中,"理由必须真实"的要求是模糊的,......