Artículo

Standard completeness of Hájek basic logic and decompositions of BL-chains

 Cignoli, Roberto Leonardo Oscar Icon; Torrens Torrell, Antoni

Otros responsables

Fecha

05/2005

Editorial

Springer

Revista

Soft Computing

Título del libro

Nombre del evento

Fecha del evento

Institución organizadora

ISSN

1432-7643

eISSN

1433-7479

ISBN

Idioma

Inglés

Tipo del evento

Clasificación temática

Matemática Aplicada

Palabras clave

MATHEMATICAL LOGIC , CONTROL ENGINEER , COMPUTING METHODOLOGY , BASIC LOGIC , SIMPLE COMPONENT

Resumen

The aim of this paper is to survey the tools needed to prove the standard completeness of Hájek Basic Logic with respect to continuous t-norms. In particular, decompositions of  totally ordered BL-algebras into simpler components are considered in some detail.

URI

http://hdl.handle.net/11336/110170

Colecciones

Articulos(IAM)

Aprobación

Revisión

Complementado por

Referenciado por

Licencia Creative Commons

by-nc-sa
Excepto donde se indique lo contrario, la licencia de este ítem se describe como by-nc-sa
Archivos asociados
Miniatura
Solicitar

Archivos

Principal CONICET_Digital_Nro.4203af11-3647-4d8e-b6bf-1ea0b1bf6c73_A.pdf (158.64 KB)
Identificadores
URI: http://hdl.handle.net/11336/110170
DOI: https://doi.org/10.1007/s00500-004-0444-x
URL: https://link.springer.com/article/10.1007/s00500-004-0444-x
Citación
Cignoli, Roberto Leonardo Oscar; Torrens Torrell, Antoni; Standard completeness of Hájek basic logic and decompositions of BL-chains; Springer; Soft Computing; 9; 12; 5-2005; 862-868
Altmétricas