The interpretability logic ILF

Vukovi? M.

首页> 外文期刊>Mathematical communications >The interpretability logic ILF

【24h】

The interpretability logic ILF

机译：可解释性逻辑ILF

获取原文

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

开具论文收录证明 >>

页面导航

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

摘要

InthispaperwedetermineacharacteristicclassofIL_{set}framesfortheprincipleF.ThenweprovethattheprinciplePisnotprovableinthesystemILF.WeuseageneralizedVeltmanmodel.

机译：在本文中，我们确定了原理F的一组IL_ {set}框架的特性。然后，我们证明了系统ILF中不可证明的原理Pi。我们使用了神经化的Veltman模型。

著录项

来源
《Mathematical communications》 |1998年第2期|共页
作者
Vukovi? M.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic [J] . Vedran Čačić, Domagoj Vrgoč Studia Logica . 2013,第1期

机译：可证明逻辑和可解释逻辑中的双仿真和模态等价的注记
2. A Note on Bisimulation and Modal Equivalence in Provability Logic and Interpretability Logic [J] . ?a?i? V., Vrgo? D. Studia Logica . 2013,第1期

机译：关于可证明逻辑和可解释逻辑中的双仿真和模态对等的注记
3. A Way to Interpret Łukasiewicz Logic and Basic Logic [J] . Thomas Vetterlein Studia Logica . 2008,第3期

机译：一种解释Łukasiewicz逻辑和基本逻辑的方法
4. The in Silicon Cloning ILF2 Gene and Prediction of ILF2 Protein Structure in Sheep [C] . Sun Yingning, Zhao Yu, Wang Weiyu International Conference on Smart Materials and Nanotechnology in Engineering . 2012

机译：硅克隆ILF2基因及绵羊ILF2蛋白质结构预测
5. TRUTH AND NECESSITY IN PARTIALLY INTERPRETED LANGUAGES (LOGIC). [D] . MCGEE, VANN ROGER. 1985

机译：部分解释语言的真实性和必要性（逻辑）。
6. lncRNA AK085865 Promotes Macrophage M2 Polarization in CVB3-Induced VM by Regulating ILF2-ILF3 Complex-Mediated miRNA-192 Biogenesis [O] . Yingying Zhang, Xueqin Li, Chen Wang, 2020

机译：LNCRNA AK085865通过调节ILF2-ILF3复合介导的MiRNA-192生物发生促进CVB3诱导的VM中的巨噬细胞M2偏振
7. The interpretability logic ILF [O] . Vuković M. 1998

机译：可解释性逻辑ILF

The interpretability logic ILF

摘要

著录项

相似文献

相关主题

期刊订阅