Varieties generated by standard BL-algebras

DOI10.1007/s11083-013-9285-5zbMath1302.03075OpenAlexW1999185418MaRDI QIDQ2454042

Zuzana Haniková

Publication date: 12 June 2014

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-013-9285-5

zbMATH Keywords

fuzzy logicsubstructural logicvariety of algebrasstandard BL-algebra

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Equational logic, Mal'tsev conditions (08B05) Other algebras related to logic (03G25) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions ⋮ Fuzzy sets and formal logics ⋮ Varieties of BL-algebras. II

Cites Work

• Unnamed Item
• Unnamed Item
• Disjunction property and complexity of substructural logics
• On the structure of semi-groups on a compact manifold with boundary
• Residuated lattices. An algebraic glimpse at substructural logics
• Metamathematics of fuzzy logic
• Ramsey methods in analysis
• Varieties of BL-algebras. I: General properties.
• Equational characterization of the subvarieties of BL generated by t-norm algebras
• Equational bases for joins of residuated-lattice varieties
• Basic hoops: an algebraic study of continuous t-norms
• Complexity of t-tautologies

This page was built for publication: Varieties generated by standard BL-algebras