Observations on the monoidal t-norm logic

被引:58
作者
Hájek, P [1 ]
机构
[1] Acad Sci Czech Republ, Inst Comp Sci, Prague 18207, Czech Republic
关键词
non-classical logics; basic fuzzy logic; monoidal t-norm logic; product logic;
D O I
10.1016/S0165-0114(02)00057-X
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The paper is a contribution to the theory of the monoidal t-norm based logic MTL and stronger logics analogous to the well-known extensions of the basic fuzzy logic (Lukasiewicz, Godel and product logic). Main attention is payed to the logic PiMTL (MTL plus the characteristic axioms Pi1, Pi2 of product logic). (C) 2002 Elsevier Science B.V. All rights reserved.
引用
收藏
页码:107 / 112
页数:6
相关论文
共 15 条
[1]   On a class of left-continuous t-norms [J].
Cignoli, R ;
Esteva, F ;
Godo, L ;
Montagna, F .
FUZZY SETS AND SYSTEMS, 2002, 131 (03) :283-296
[2]   About axiomatic systems of product fuzzy logic [J].
P. Cintula .
Soft Computing, 2001, 5 (3) :243-244
[3]   Monoidal t-norm based logic: towards a logic for left-continuous t-norms [J].
Esteva, F ;
Godo, L .
FUZZY SETS AND SYSTEMS, 2001, 124 (03) :271-288
[4]  
ESTEVA F, IN PRESS STUDIA LOGI
[5]   Pseudo-t-norms and pseudo-BL algebras [J].
P. Flondor ;
G. Georgescu ;
A. Iorgulescu .
Soft Computing, 2001, 5 (5) :355-371
[6]   CONTRAPOSITIVE SYMMETRY OF FUZZY IMPLICATIONS [J].
FODOR, JC .
FUZZY SETS AND SYSTEMS, 1995, 69 (02) :141-156
[7]  
Fuchs L, 1963, PARTIALLY ORDERED AL
[8]   A new axiomatization for involutive monoidal t-norm-based logic [J].
Gottwald, S ;
Jenei, S .
FUZZY SETS AND SYSTEMS, 2001, 124 (03) :303-307
[9]  
Hajek P, 1998, Trends in Logic
[10]   New family of triangular norms via contrapositive symmetrization of residuated implications [J].
Jenei, S .
FUZZY SETS AND SYSTEMS, 2000, 110 (02) :157-174