Mostrar el registro sencillo del ítem

dc.contributor.author
Cignoli, Roberto Leonardo Oscar  
dc.contributor.author
Torrens Torrell, Antoni  
dc.date.available
2020-07-24T15:03:36Z  
dc.date.issued
2005-05  
dc.identifier.citation
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  
dc.identifier.issn
1432-7643  
dc.identifier.uri
http://hdl.handle.net/11336/110170  
dc.description.abstract
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.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Springer  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
MATHEMATICAL LOGIC  
dc.subject
CONTROL ENGINEER  
dc.subject
COMPUTING METHODOLOGY  
dc.subject
BASIC LOGIC  
dc.subject
SIMPLE COMPONENT  
dc.subject.classification
Matemática Aplicada  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Standard completeness of Hájek basic logic and decompositions of BL-chains  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2020-04-28T16:15:00Z  
dc.identifier.eissn
1433-7479  
dc.journal.volume
9  
dc.journal.number
12  
dc.journal.pagination
862-868  
dc.journal.pais
Reino Unido  
dc.journal.ciudad
Ámsterdam  
dc.description.fil
Fil: Cignoli, Roberto Leonardo Oscar. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Saavedra 15. Instituto Argentino de Matemática Alberto Calderón; Argentina  
dc.description.fil
Fil: Torrens Torrell, Antoni. Universidad de Barcelona; España  
dc.journal.title
Soft Computing  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s00500-004-0444-x  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.1007/s00500-004-0444-x  

Archivos asociados
Thumbnail
 
Tamaño: 158.6Kb
Formato: PDF
.