首页> 外文期刊>Proceedings of the Japan Academy, Series A. Mathematical Sciences >Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics

【24h】

Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics

机译：中间谓词逻辑的语义不完整，I。Kripke的语义

获取原文

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

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Proceedings of the Japan Academy, Series A. Mathematical Sciences》 |1973年第9期|共页
作者
Hiroakira Ono;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种
中图分类数学;
关键词

相似文献

外文文献
中文文献
专利

1. On Kripke-style Semantics for the Provability Logic of Goedel's Proof Predicate with Quantifiers on Proofs [J] . ROSTISLAV YAVORSKIY Journal of logic and computation . 2005,第4期

机译：具有证明量词的Goedel证明谓词的可证明逻辑的Kripke风格语义
2. On Intermediate Predicate Logics of some Finite Kripke Frames, I. Levelwise Uniform Trees [J] . Dmitrij Skvortsov Studia Logica . 2004,第3期

机译：关于某些有限Kripke框架的中间谓词逻辑，I。水平一致树
3. Kripke semantics and proof systems for combining intuitionistic logic and classical logic [J] . Liang C., Miller D. Annals of Pure and Applied Logic . 2013,第2期

机译：结合直觉逻辑和经典逻辑的Kripke语义和证明系统
4. The Semantics of Modal Predicate Logic I. Counterpart-Frames [C] . MARCUS KRACHT, OLIVER KUTZ Conference on advances in modal logic . 2002

机译：模态谓词逻辑I的语义。对手框架
5. Kripke's skeptical paradox and semantic normativity (Saul Kripke). [D] . Pacyga, Christopher Mark. 2005

机译：克里普克的怀疑悖论和语义规范性（Saul Kripke）。
6. Predication-based Semantic Indexing: Permutations as a Means to Encode Predications in Semantic Space [O] . Trevor Cohen, Roger W. Schvaneveldt, Thomas C. Rindflesch 2009

机译：基于谓词的语义索引：置换是在语义空间中编码谓词的一种手段
7. Incompleteness of semantics for intermediate predicate logics, I. Kripke's Semantics [O] . Hiroakira Ono 1973

机译：中级谓词逻辑的语义不完整，I. Kripke的语义
8. Update Semantics for Dynamic Predicate Logic [R] . Dekker, P. 1992

机译：更新动态谓词逻辑的语义

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号