Standard completeness of Hájek basic logic and decompositions of BL-chains
type: Item
instance of: scholarly article
title: Standard completeness of Hájek basic logic and decompositions of BL-chains
zbMATH Open document ID: 1094.03013
published in: Soft Computing
publication date: 2006-03-02T00:00:00Z
Mathematics Subject Classification ID: 03B52
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 5009484
zbMATH Keywords: survey
zbMATH Keywords: continuous t-norms
zbMATH Keywords: decompositions of totally ordered BL-algebras
author: Roberto Cignoli
author: Antoni Torrens
MaRDI profile type: Publication
full work available at URL: s00500-004-0444-x
OpenAlex ID: W1976229082
cites work: Varieties of BL-algebras. I: General properties.
cites work: On the structure of hoops
cites work: Algebraizable logics
cites work: Free algebras in varieties of BL-algebras generated by a BLn-chain
cites work: Q4542633
cites work: Q4512929
cites work: Free algebras in varieties of BL-algebras with a Boolean retract.
cites work: Hájek basic fuzzy logic and Łukasiewicz infinite-valued logic
cites work: Metamathematics of fuzzy logic
cites work: A complete many-valued logic with product-conjunction
cites work: Generating the variety of BL-algebras
cites work: On the structure of semi-groups on a compact manifold with boundary
DOI: 10.1007/S00500-004-0444-X
description: scientific article; zbMATH DE number 5009484