Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation

Montagna F.

首页> 外文期刊>Studia Logica >Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation

【24h】

Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation

机译：带命题量词，量词消除和均匀克雷格插值的Δ核心模糊逻辑

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

页面导航

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

摘要

In this paper we investigate the connections between quantifier elimination, decidability and Uniform Craig Interpolation in Δ-core fuzzy logics added with propositional quantifiers. As a consequence, we are able to prove that several propositional fuzzy logics have a conservative extension which is a Δ-core fuzzy logic and has Uniform Craig Interpolation.

机译：在本文中，我们研究了添加命题量词的Δ核心模糊逻辑中量词消除，可判定性和均匀克雷格插值之间的联系。结果，我们能够证明几种命题模糊逻辑具有一个保守的扩展，它是一个Δ核心模糊逻辑，并且具有统一的克雷格插值。

著录项

来源
《Studia Logica》 |2012年第2期|共29页
作者
Montagna F.;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类逻辑学（论理学）;
关键词
interpolation; Many-valued logic; propositional quantifiers;

机译：插值;多值逻辑;命题量词;
入库时间 2022-08-18 15:19:56

相似文献

外文文献
中文文献
专利

1. Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation [J] . Franco Montagna Studia Logica . 2012,第1a2期

机译：带有命题量词，量词消除和均匀克雷格插值的Δ核心模糊逻辑
2. Uniform Interpolation and Propositional Quantifiers in Modal Logics [J] . Marta Bílková Studia Logica . 2007,第1期

机译：模态逻辑中的统一插值和命题量词
3. Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω [J] . MATTHIAS BAAZ, NORBERT PREINING Journal of logic and computation . 2008,第4期

机译：ω型Kripke框架上的定量命题逻辑的量词消除
4. Software for Quantifier Elimination in Propositional Logic [C] . Eugene Goldberg, Panagiotis Manolios Mathematical software - ICMS 2014 . 2014

机译：命题逻辑中的量词消除软件
5. Classification and quantification of hydrometeors based on polarimetric radar measurements: Development of fuzzy logic and neuro-fuzzy systems and in situ verification. [D] . Liu, Hongping. 2000

机译：基于极化雷达测量的水凝物的分类和定量：模糊逻辑和神经模糊系统的开发以及现场验证。
6. Fuzzy-logic manual and semi-automated 2SD-based approaches for quantification of myocardial necrosis from late contrast enhancement magnetic resonance images: comparison with biochemical assessment of infarct size and left ventricular volumes and function early after myocardial infarction [O] . Nicolas Baron 2011

机译：基于模糊逻辑手动和半自动基于2SD的方法从晚期对比增强磁共振图像中定量心肌坏死：与心肌梗塞后早期梗死面积左心室容积和功能的生化评估进行比较
7. Software for Quantifier Elimination in Propositional Logic [O] . Eugene Goldberg, Panagiotis Manolios 2014

机译：命题逻辑中量化消除的软件

Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation

摘要

著录项

相似文献

相关主题

期刊订阅