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

Cignoli, Roberto Leonardo Oscar; Torrens Torrell, Antoni

doi:https://doi.org/10.1007/s00500-004-0444-x

Artículo

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

Cignoli, Roberto Leonardo Oscar Icon

; Torrens Torrell, Antoni

Fecha de publicación: 05/2005

Editorial: Springer

Revista: Soft Computing

ISSN: 1432-7643

e-ISSN: 1433-7479

Idioma: Inglés

Tipo de recurso: Artículo publicado

Clasificación temática:

Matemática Aplicada

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.

Palabras clave: MATHEMATICAL LOGIC , CONTROL ENGINEER , COMPUTING METHODOLOGY , BASIC LOGIC , SIMPLE COMPONENT

Ver el registro completo

Archivos asociados

Tamaño: 158.6Kb

Formato: PDF

Solicitar

Licencia

Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)

Identificadores

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

URL: https://link.springer.com/article/10.1007/s00500-004-0444-x

DOI: https://doi.org/10.1007/s00500-004-0444-x

Colecciones

Articulos(IAM)
Articulos de INST.ARG.DE MATEMATICAS "ALBERTO CALDERON"

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