Absence of the interpolation property in the calculi Lα and Lf

V. F. Murzina

首页> 外文期刊>Siberian Mathematical Journal >Absence of the interpolation property in the calculi Lα and Lf

【24h】

Absence of the interpolation property in the calculi Lα and Lf

机译：结石Lα和Lf中没有插值属性

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We prove the absence of the Craig interpolation property in the polymodal calculi related to some Ershov spaces.

机译：我们证明在与某些Ershov空间有关的多峰计算中不存在Craig插值属性。

著录项

来源
《Siberian Mathematical Journal》 |2008年第1期|共5页
作者
V. F. Murzina;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数学;
关键词
modal logic; interpolation property; topological space;

机译：模态逻辑插值性质拓扑空间;

相似文献

外文文献
中文文献
专利

1. Absence of the interpolation property in the calculi Lα and Lf [J] . V. F. Murzina Siberian Mathematical Journal . 2008,第1期

机译：结石Lα和Lf中没有插值属性
2. TWICE-LAYERED NEURAL NETWORK SELF-ORGANIZATION FOR INTERPOLATION PROBLEMS OF ARTIFICIAL INTELLIGENCE SOLUTION IN THE CASE OF COMPLETE ABSENCE OF INFORMATION ABOUT SMALL PART OF INPUT VARIABLES [J] . A.G. IVAKHNENKO, G.A. IVAKHNENKO, E.A. SAVCHENKO Systems Analysis Modelling Simulation . 2003,第10期

机译：在输入变量很少的情况下完全缺少信息的情况下，用于人工智能解决方案的插值问题的二次神经网络自组织
3. Uniform interpolation and sequent calculi in modal logic [J] . Iemhoff Rosalie Archive for Mathematical Logic . 2019,第1a2期

机译：模态逻辑中的均匀插值和序列结石
4. Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples [C] . Oday Jubran, Eike Moehlmann, Oliver Theel International symposium on stabilization, safety, and security of distributed systems . 2015

机译：通过检查是否存在有限的反例来验证自稳定中的递归属性
5. Five Degree-of-Freedom Property Interpolation of Arbitrary Grain Boundaries via Voronoi Fundamental Zone Octonion Framework [D] . Baird, Sterling Gregory. 2021

机译：VORONOI基本区octonion框架的任意谷物边界的五个自由度分析
6. Absence of Disulfide Bonds Linking the Heavy and Light Chains: A Property of a Genetic Variant of γA2 Globulins [O] . L. M. Jerry, H. G. Kunkel, H. M. Grey 1970

机译：缺乏重链和轻链连接的二硫键：γA2球蛋白遗传变异的性质。
7. Feasible Interpolation for QBF Resolution Calculi [O] . Beyersdorff O, Chew L, Mahajan M, 2017

机译：QBF分辨率计算的可行插值

Absence of the interpolation property in the calculi Lα and Lf

摘要

著录项

相似文献

相关主题

期刊订阅