首页> 外文OA文献 >Notes on the game semantics of Godel's T (Towards new interaction between category theory and proof theory)

【2h】

Notes on the game semantics of Godel's T (Towards new interaction between category theory and proof theory)

机译：关于戈德尔《 T》的游戏语义学的注记（探讨范畴论与证明论之间的新互动）

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Shirahata Masaru;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Proof theory of witnessed Godel logic: A negative result [J] . Baaz Matthias, Ciabattoni Agata Journal of logic and computation . 2016,第1期

机译：见证戈德尔逻辑的证明理论：否定结果
2. Notes on the Theory of the Interaction of Lexical Semantics and Aspect (ILA) of Walter Breu [J] . Stanisaw Karolak Russian Linguistics . 2004,第2期

机译：Walter Breu的词汇语义和方面相互作用理论的注解
3. Semantic Category theory and Semantic Intertwine: the anathema of mathematics [J] . John St Quinton Kybernetes: The International Journal of Systems & Cybernetics . 2014,第8期

机译：语义范畴论与语义交织：数学的反常
4. Proof Planning Diagonalisation Theorems via Category Theory [C] . Alan Smaill AISB Convention . 2007

机译：通过类别理论证明规划对角定理
5. The representation theory of profinite algebras: Interactions with category theory, algebraic topology and compact groups. [D] . Iovanov, Miodrag C. 2009

机译：有限代数的表示论：与范畴论，代数拓扑和紧群的相互作用。
6. A Computational Proof of Concept of a Machine-Intelligent Artificial Pancreas Using Lyapunov Stability and Differential Game Theory [O] . Nigel J. C. Greenwood, Jenny E. Gunton 2014

机译：基于Lyapunov稳定性和微分博弈论的机器智能人工胰腺概念的计算证明。
7. The Theory of Twiners and Linear Parametricity (Note) (Towards new interaction between category theory and proof theory) [O] . Hasegawa Ryu 2001

机译：孪生理论和线性参量理论（注）（类别理论和证明理论之间的新互动）
8. Theory of Adaptive Mechanisms. Part Iii. Efficient Maximal Semantic Resolution Proofs Based Upon Binary Semantic Trees [R] . Cantarella, R. G. 1970

机译：自适应机制理论。第一部分。基于二进制语义树的高效最大语义分辨率证明

Notes on the game semantics of Godel's T (Towards new interaction between category theory and proof theory)

著录项

引文网络

相似文献

相关主题

期刊订阅