On arithmetical complexity of fragments of prominent fuzzy predicate logics

Petr Hájek

首页> 外文期刊>Soft Computing >On arithmetical complexity of fragments of prominent fuzzy predicate logics

【24h】

On arithmetical complexity of fragments of prominent fuzzy predicate logics

机译：突出的模糊谓词逻辑的片段的算术复杂度

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

著录项
相似文献
相关主题

著录项

来源
《Soft Computing》 |2008年第4期|335-340|共6页
作者
Petr Hájek;
展开▼
作者单位

Institute of Computer Science Academy of Sciences of the Czech Republic 182 07 Prague Czech Republic;

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

相似文献

外文文献
中文文献
专利

1. Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics [J] . FRANCO MONTAGNA, CARLES NOGUERA Journal of logic and computation . 2010,第2期

机译：语义上一阶谓词模糊逻辑的算术复杂度
2. Arithmetical complexity of fuzzy predicate logics - A survey II [J] . Hajek P Annals of Pure and Applied Logic . 2009,第2期

机译：模糊谓词逻辑的算术复杂度-调查II
3. Arithmetical complexity of fuzzy predicate logics - a survey [J] . Hajek P Soft computing: A fusion of foundations, methodologies and applications . 2005,第12期

机译：模糊谓词逻辑的算术复杂度-调查
4. A Decidable Fragment in Separation Logic with Inductive Predicates and Arithmetic [C] . Quang Loc Le, Makoto Tatsuta, Jun Sun, International conference on computer aided verification . 2017

机译：具有归纳谓词和算术的分离逻辑中的可确定片段
5. Predicting the difficulty of predicate-logic inference problems: An empirical examination of a predicate-logic model [D] . Yang, Yingrui 1996

机译：预测谓词逻辑推理问题的难度：谓词逻辑模型的实证检验
6. Fuzzy logic: A simple solution for complexities in neurosciences? [O] . Saniya Siraj Godil, Muhammad Shahzad Shamim, Syed Ather Enam, 2011

机译：模糊逻辑：神经科学复杂性的简单解决方案？
7. Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics [O] . Franco Montagna, Carles Noguera 2015

机译：一阶谓词模糊逻辑在辨别语义上的算术复杂性

On arithmetical complexity of fragments of prominent fuzzy predicate logics

著录项

相似文献

相关主题

期刊订阅