Knowledge representation; Four-valued logic; Relevance; Forgetting;
机译:发现存在多种表示同一模数变换的方式的东部四值(Catuskoti)逻辑定义模数变换的相关性的发现
机译:命题独立:公式变量独立和遗忘
机译:使用Logics Explorer包从Maple重新访问四值逻辑
机译:通过忘记测量四值逻辑中的公式变量相关性
机译:严谨性和关联性的制度逻辑:严密性关联关系及其对管理研究合法性的影响
机译:测量遗忘:对加速的长期遗忘研究的批判性评论
机译:通过遗忘定量评估公式变量的相关性