首页> 外文OA文献 >Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics

【2h】

Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics

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

页面导航

著录项
相似文献
相关主题

著录项

作者
Franco Montagna; Carles Noguera;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

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. On arithmetical complexity of fragments of prominent fuzzy predicate logics [J] . Petr Hájek Soft Computing . 2008,第4期

机译：突出的模糊谓词逻辑的片段的算术复杂度
4. Semantics of a class of fuzzy pure predicate logic programming languages [C] . Pedro R. Marquez-Gutierrez Artificial Neural Networks in Engineering Conference . 2000

机译：一类模糊纯谓词逻辑编程语言的语义
5. Disproving in First-Order Logic with Definitions, Arithmetic and Finite Domains [D] . Bax, Joshua. 2017

机译：用定义，算术和有限域进行一阶逻辑的证明
6. Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic [O] . Guillermo Badia, Vicent Costa, Pilar Dellunde, -1

机译：数学模糊逻辑中一阶结构类的句法表征
7. Distinguished algebraic semantics for t-norm based fuzzy logics:Methods and algebraic equivalencies [O] . Cintula, Petr, Esteva, Francesc, Gispert, Joan, 2009

机译：基于t范数的模糊逻辑的代数语义：方法和代数等价
8. An Introduction to the Model Theory of First-Order Predicate Logic and a Related Temporal Logic [R] . Mattison, R. 1969

机译：一阶谓词逻辑模型理论及相关时态逻辑

Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics

著录项

相似文献

相关主题

期刊订阅