Arithmetical complexity of fuzzy predicate logics - A survey II

Hajek P

首页> 外文期刊>Annals of Pure and Applied Logic >Arithmetical complexity of fuzzy predicate logics - A survey II

【24h】

Arithmetical complexity of fuzzy predicate logics - A survey II

机译：模糊谓词逻辑的算术复杂度-调查II

获取原文

获取原文并翻译 | 示例

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

开具论文收录证明 >>

文献代查 >>

页面导航

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

摘要

Results on arithmetical complexity of important sets of formulas of several fuzzy predicate logics (tautologies, satisfiable formulas,...) are surveyed and some new results are proven.

机译：研究了几种模糊谓词逻辑（重言式，可满足的公式，...）的重要公式集的算术复杂性结果，并证明了一些新结果。

著录项

来源
《Annals of Pure and Applied Logic》 |2009年第2期|共8页
作者
Hajek P;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类数理逻辑、数学基础;
关键词
Fuzzy predicate logics; Arithmetical hierarchy; Tautologies;

机译：模糊谓词逻辑;算术层次;重言式;

相似文献

外文文献
中文文献
专利

1. Arithmetical complexity of fuzzy predicate logics - A survey II [J] . Hajek P Annals of Pure and Applied Logic . 2009,第2期

机译：模糊谓词逻辑的算术复杂度-调查II
2. Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics [J] . FRANCO MONTAGNA, CARLES NOGUERA Journal of logic and computation . 2010,第2期

机译：语义上一阶谓词模糊逻辑的算术复杂度
3. On arithmetical complexity of fragments of prominent fuzzy predicate logics [J] . Petr Hájek Soft Computing . 2008,第4期

机译：突出的模糊谓词逻辑的片段的算术复杂度
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

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

Arithmetical complexity of fuzzy predicate logics - A survey II

摘要

著录项

相似文献

相关主题

期刊订阅