Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω

MATTHIAS BAAZ; NORBERT PREINING

首页> 外文期刊>Journal of logic and computation >Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω

【24h】

Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω

机译：ω型Kripke框架上的定量命题逻辑的量词消除

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

页面导航

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

摘要

The minimal extension of intuitionistic propositional language is characterized, where propositional quantifiers are eliminable w.r.t. Kripke frames of type ω

机译：直觉命题语言的最小扩展的特征是命题量词在w.r.t.中是可消除的。 ω型Kripke框架

著录项

来源
《Journal of logic and computation》 |2008年第4期|p.649-668|共20页
作者
MATTHIAS BAAZ; NORBERT PREINING;
展开▼
作者单位

Institute for Algebra and Computational Mathematics, University of Technology, Vienna, Austria;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类计算技术、计算机技术;
关键词
quantified propositional logics; godel logics; quantifier elimination;

机译：定量命题逻辑;哥德尔逻辑;量化消除;

相似文献

外文文献
中文文献
专利

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

机译：带有命题量词，量词消除和均匀克雷格插值的Δ核心模糊逻辑
2. Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation [J] . Montagna F. Studia Logica . 2012,第1a2期

机译：带命题量词，量词消除和均匀克雷格插值的Δ核心模糊逻辑
3. 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风格语义
4. Software for Quantifier Elimination in Propositional Logic [C] . Eugene Goldberg, Panagiotis Manolios Mathematical software - ICMS 2014 . 2014

机译：命题逻辑中的量词消除软件
5. Propositional Quantification and Comparison in Modal Logic [D] . Ding, Yifeng. 2021

机译：模特量化和模态逻辑的比较
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

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

Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω

摘要

著录项

相似文献

相关主题

期刊订阅