机译:从本体论的角度构造形式语义。二阶逻辑的情况
Ontology; Semantics; Truthmaker; Ontological commitment; Second-order logic; Nominalism; Realism; Tropes;
机译:从本体论的角度构造形式语义。二阶逻辑的情况
机译:使用正式概念分析方法构建和扩展描述逻辑本体论文摘要
机译:在与团队语义的存在二阶逻辑和逻辑的联盟关闭片段
机译:正式的语义和本体:正式语义的本体论叙述
机译:康德的本体论:第一人称视角的现实和形式结构。
机译:从本体论到语义相似度:基于本体论的语义相似度的计算
机译:二阶逻辑的逻辑,本体论和认识论