On the strength and scope of DLS

Willem Conradie

首页> 外文期刊>Journal of applied non-classical logics >On the strength and scope of DLS

【24h】

On the strength and scope of DLS

机译：关于DLS的优势和范围

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

We provide syntactic necessary and sufficient conditions on the formulae reducible by the second-order quantifier elimination algorithm DLS. It is shown that DLS is compete for all modal Sahlqvist and Inductive formulae, and that all modal formulae in a single propositional variable on which DLS succeeds are canonical.

机译：我们为二阶量词消除算法DLS可简化的公式提供了句法上必要的充分条件。结果表明，DLS与所有模态Sahlqvist和归纳公式竞争，并且在单个命题变量中DLS成功的所有模态公式都是规范的。

著录项

来源
《Journal of applied non-classical logics》 |2006年第4期|p.279-296|共18页
作者
Willem Conradie;
展开▼
作者单位

Department of Mathematics University of Johannesburg PO Box 524 Auckland Park, 2006 (South Africa);

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类哲学、宗教;
关键词
second-order quantifier elimination; DLS algorithm; modal logic; sahlqvist formulae; inductive formulae; canonicity;

机译：二阶量词消除;DLS算法;模态逻辑;Sahlqvist公式;归纳公式;典范性;

相似文献

外文文献
中文文献
专利

1. Some thermodynamic properties of dl-Tyrosine and dl-Tryptophan. Effect of the ionic medium, ionic strength and temperature on the solubility and acid-base properties [J] . Bretti C., Crea F., De Stefano C., Fluid Phase Equilibria . 2012,第Null期

机译：dl-酪氨酸和dl-色氨酸的一些热力学性质。离子介质，离子强度和温度对溶解度和酸碱性质的影响
2. Digital scope DL708 [J] . Kato Seiji, Ito Shinobu, Takeshita Yukihito, 横河技報 . 1998,第1期

机译：数字示波器DL708
3. Digital scope DL708 [J] . Kato Seiji, Ito Shinobu, Takeshita Yukihito, 横河技報 . 1998,第1期

机译：数字示波器DL708
4. Strength Calculation and Design Optimization of a Test Rig for Slide Ring Seals in the Scope of Rotary Manifolds [C] . Muller Julian, Michos Gordana, Koch Lukas, Green Factory Bavaria Colloquium . 2017

机译：旋转歧管范围内滑圈密封件试验台的强度计算与设计优化
5. Bioavailability determination of nutrients using linear and nonlinear models: DL-methionine vs. DL-methionine hydroxy analogue, copper sulfate vs. tribasic copper chloride. [D] . Liu, Zhenhua. 2003

机译：使用线性和非线性模型确定营养素的生物利用度：DL-蛋氨酸与DL-蛋氨酸羟基类似物，硫酸铜与三元氯化铜。
6. Health research capacity building of health workers in fragile and conflict-affected settings: a scoping review of challenges strengths and recommendations [O] . Rania Mansour, Hady Naal, Tarek Kishawi, 2021

机译：脆弱与冲突冲突的环境中卫生工作者的健康研究能力建设：对挑战优势和建议的审查审查
7. Health research capacity building of health workers in fragile and conflict-affected settings: a scoping review of challenges, strengths, and recommendations [O] . Rania Mansour, Hady Naal, Tarek Kishawi, 2021

机译：脆弱与冲突冲突的环境中卫生工作者的健康研究能力建设：对挑战，优势和建议的审查审查
8. 19319A MLRS, Missile Numbers BN-006, BN-003, BN-001, BN-004, BN-002, BN-005, Round Numbers V-390/DL-7, V-391/DL-08, V-392/DL-9, V-393/DL-10, V-394/DL-11, V-395/DL-12. [R] . Keller, D. C. 1983

机译：19319a mLRs，导弹编号BN-006，BN-003，BN-001，BN-004，BN-002，BN-005，轮数V-390 / DL-7，V-391 / DL-08，V-392 / DL-9，V-393 / DL-10，V-394 / DL-11，V-395 / DL-12。

On the strength and scope of DLS

摘要

著录项

相似文献

相关主题

期刊订阅