Complexity issues in basic logic

doi:10.1007/s00500-004-0443-y

2005-05-31

PRE

Stefano Aguzzoli

Brunella Gerla

Zuzana Haniková

DOI：10.1007/s00500-004-0443-y

原文链接

原文求助

摘要

En 中文

We survey complexity results concerning a family of propositional many-valued logics. In particular, we shall address satisfiability and tautologousness problems for Hajek's Basic Logic BL and for several of its schematic extensions. We shall review complexity bounds obtained from functional representation results, as well as techniques for dealing with non-trivial ordinal sums of continuous t-norms.

Keyword:

ALGEBRAS

期刊

Soft Computing

IF:

2.5

论文数:

1.0W

被引数:

2.1W

机构

暂无机构信息

引用论文

Standard algebras for fuzzy propositional calculi

FUZZY SETS AND SYSTEMS

IF2.7

2001-12-01

PREAI

Haniková, Z

Optimal Design for Springback of Automotive Panel Forming with Kriging Model

2019 International Conference on Advances in Construction Machinery and Vehicle Engineering (ICACMVE)

IF0

2019-05-01

PREAI

Jinjin Zhai; Qing Zhang; Zengzeng Zhang; Yuantao Sun; Xianrong Qin; Xuehua Chen

Semi-normal forms and functional representation of product fuzzy logic 乘积模糊逻辑的半正规形式和函数表示

FUZZY SETS AND SYSTEMS

IF2.7

2004-04-01

PREAI

Cintula, P; Gerla, B

5GTN: A test network for 5G application development and testing

2016 European Conference on Networks and Communications (EuCNC)

IF0

2016-06-01

PREAI

Esa Piri; Pekka Ruuska; Teemu Kanstren; Jukka Makela; Jari Korva; Atso Hekkala; Ari Pouttu; Olli Liinamaa; Matti Latva-aho; Kari Vierimaa; Harri Valasma

Wavelength dependence of intensity fluctuations in laser speckle patterns from biological specimens

Optics Communications

IF0

1975-03-01

PREAI

J.D. Briers

The correlation between depressive symptoms and personality disorders in college freshmen

IF0

PREAI

Ballistic Performance of Kevlar49/ UHMW-PEHB26 Hybrid Layered-Composite

Uluslararası Muhendislik Arastirma ve Gelistirme Dergisi

IF0