A Type Reduction from Proof-conditional to Dynamic Semantics

Tim Fernando

首页> 外文期刊>Journal of Philosophical Logic >A Type Reduction from Proof-conditional to Dynamic Semantics

【24h】

A Type Reduction from Proof-conditional to Dynamic Semantics

机译：从证明条件到动态语义的类型缩减

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

Dynamic and proof-conditional approaches to discourse (exemplified by Discourse Representation Theory and Type-Theoretical Grammar, respectively) are related through translations and transitions labeled by first-order formulas with anaphoric twists. Type-theoretic contexts are defined relative to a signature and instantiated model-theoretically, subject to change.

机译：话语的动态和证明条件的方法（分别由话语表征理论和类型理论语法举例说明）通过一阶公式标记的带有隐喻性转折的平移和过渡而联系起来。类型理论上下文是相对于签名定义的，并且在理论上可以实例化模型，并且可能会发生变化。

著录项

来源
《Journal of Philosophical Logic》 |2001年第2期|121-153|共33页
作者
Tim Fernando;
展开▼
作者单位

Computer Science Trinity College;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类
关键词
proof-conditional semantics; dynamic semantics; types; anaphora; discourse; natural language; truth; bisimulation;

机译：证明条件语义;动态语义;类型;回指;话语;自然语言;真相;双模拟;

相似文献

外文文献
中文文献
专利

1. Hands typing what hands do: Action-semantic integration dynamics throughout written verb production [J] . Garcia Adolfo M., Ibanez Agustin Cognition: International Journal of Cognitive Psychology . 2016,第Null期

机译：手动输入手势：在整个书面动词生成过程中，动作语义整合动态
2. Evidence for Single-Type Semantics-An Alternative To e/t-Based Dual-Type Semantics [J] . Liefke Kristina, Werning Markus Journal of semantics . 2018,第4期

机译：单类型语义的证据-基于e / t的双类型语义的替代
3. Dissociations in semantic cognition: Oscillatory evidence for opposing effects of semantic control and type of semantic relation in anterior and posterior temporal cortex [J] . Teige Catarina, Cornelissen Piers L., Mollo Giovanna, Cortex: A Journal Devoted to the Study of the Nervous System and Behavior . 2019,第期

机译：语义认知的解剖：用于前后和后颞皮质中语义控制的相反效果的振荡证据和语义关系
4. Dynamical analysis of frame type structures with local stiffness reductions by a new finite element based on the dynamic stiffness and mass matrices [C] . M. Skrinar 11th International Conference on Computational Methods and Experimental Measurements (CMEM 2003) 2003 Halkidiki, Greece . 2003

机译：基于动态刚度和质量矩阵的新型有限元对刚度减小的框架型结构的动力分析
5. Well-definedness, semantic type-checking, and type inference for database query languages. [D] . Vansummeren, Stijn. 2005

机译：数据库查询语言的定义明确，语义类型检查和类型推断。
6. Neural dynamics of semantic categorization in semantic variant of primary progressive aphasia [O] . V Borghesani, CL Dale, S Lukic, 2021

机译：原发性渐进性失语性语义变种中语义分类的神经动力学
7. A Type Reduction From Proof-Conditional to Dynamic Semantics [O] . Tim Fernando 2000

机译：从证明条件到动态语义的类型缩减

A Type Reduction from Proof-conditional to Dynamic Semantics

摘要

著录项

相似文献

相关主题

期刊订阅