首页> 外文期刊>Journal of logic and computation >Nonmonotonic Logics and Semantics
【24h】

Nonmonotonic Logics and Semantics

机译:非单调逻辑与语义

获取原文
获取原文并翻译 | 示例

摘要

Tarksi gave a general semantics for deductive reasoning: a formula α may be deduced from a set A of formulas iff αholds in all models in which each of the elements of A holds. A more liberal semantics has been considered; a formula αmay be deduced from a set A of formulas if αholds in all of the preferred models in which all the elements of A hold. Shoham proposed that the notion of preferred models be defined by a partial ordering on the models of the underlying language.
机译:Tarksi给出了演绎推理的一般语义:可以在其中A的每个元素均成立的所有模型中,从仅满足a的公式集A推导公式α。已经考虑了更自由的语义;如果在所有A的所有元素都成立的优选模型中都成立,则可以从一组公式A推导公式α。肖翰(Shoham)提出,首选模型的概念应通过对基础语言的模型进行部分排序来定义。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号