Vés al contingut
Català
English
Español
Formulari de cerca
Cercar
Log-in
Quant a IIIA
Presentació
Història
Contribucions a l'inteligència artficial 1996 - 2001
Contributions to Artificial Intelligence 1986 - 1995
Ubicació
Treballa amb nosaltres
Departaments
Projectes
Projectes Actuals
Projectes finalitzats
Publicacions
Publications
Thesis
Persones
Personal actual
Personal anterior
Ventura Verdú
Activitats
Seminaris
Conferències
Doctoral Consortium
Notícies
Transferència
25è aniversari
Esteu aquí
Home
>
Personal
>
Ventura Verdú
Ventura Verdú
Personal actual
Personal anterior
Ventura Verdú
Position:
Co-Autors
Publications
Projects
7 Publications
2009
Fèlix Bou
,
Francesc Esteva
,
Josep Maria Font
,
Angel Gil
,
Lluís Godo
,
Antoni Torrens
,
Ventura Verdú
;
Logics preserving degrees of truth from varieties of residuated lattices
.
Journal of Logic and Computation (doi:10.1093/logcom/exp030);
2009.
Download PDF
2008
Fèlix Bou
,
Francesc Esteva
,
Josep Maria Font
,
Angel Gil
,
Lluís Godo
,
Antoni Torrens
,
Ventura Verdú
;
T-norm based fuzzy logics preserving degrees of truth
.
IPMU 2008;
2008.
Download PDF
2007
R. Adillon,
Angel García-Cerdaña
,
V. Verdú
;
On three implication-less fragments of t-norm based fuzzy logics
.
Fuzzy Sets and Systems;
2007.
Download PDF
2006
Romà Adillon,
Angel García-Cerdaña
,
Ventura Verdú
;
On some classical fragments of t-norm based fuzzy logics
.
Information Processing and Management of Uncertainty in Knowledge-Based Systems IPMU 2006;
2006.
Download PDF
Fèlix Bou
,
Angel García-Cerdaña
,
Ventura Verdú
;
On two fragments with negation and without implication of the logic of residuated lattices
.
Archive for Mathematical Logic;
2006.
Download PDF
2004
Fèlix Bou
,
Angel García-Cerdaña
,
Ventura Verdú
;
Analysis of two fragments of the logic of residuated lattices
.
Proceedings of CombLog'04. Workshop on Combination of Logics: Theory and Applications;
2004.
Download PDF
Fèlix Bou
,
Angel García-Cerdaña
,
Ventura Verdú
;
On some Substructural Aspects of t-Norm Based Logics
.
Proceedings of the Tenth International Conference IPMU 2004. Information Processing and Management of Uncertainty in Knowledge-Base Systems;
2004.
Download PDF
No results found