• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Logic, language, information and computation >Ludics and Its Applications to Natural Language Semantics
【24h】

Ludics and Its Applications to Natural Language Semantics

机译：Ludics及其在自然语言语义学中的应用

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Proofs in Ludics, have an interpretation provided by their counter-proofs, that is the objects they interact with. We shall follow the same idea by proposing that sentence meanings are given by the counter-meanings they are opposed to in a dialectical interaction. In this aim, we shall develop many concepts of Ludics like designs (which generalize proofs), cut-nets, orthogonality and behaviours (that is sets of designs which are equal to their bi-orthogonal). Behaviours give statements their interactive meaning. Such a conception may be viewed at the intersection between proof-theoretic and game-theoretical accounts of semantics, but it enlarges them by allowing to deal with possibly infinite processes instead of getting stuck to an atomic level when decomposing a formula.
机译：Ludics中的证明由其反证明提供了一种解释，即与之交互的对象。我们将遵循相同的思想，提出句子的含义是由它们在辩证互动中所反对的反义给出的。为此，我们将开发许多Ludics概念，例如设计（通用化证明），切割网，正交性和行为（即等于其正交的设计集）。行为使陈述具有互动意义。可以在语义的证明理论和游戏理论之间的交集处看到这种概念，但是它通过允许处理可能的无限过程而不是在分解公式时陷入原子层次上而扩大了它们的范围。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号