Varieties generated by standard BL-algebras

DOI10.1007/S11083-013-9285-5MaRDI QIDQ2454042zbMATH OpenOpenAlexFDO

Authors 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 logicstandard BL-algebrasubstructural logicvariety of algebras

Mathematics Subject Classification ID

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

Cites work

• Basic hoops: an algebraic study of continuous t-norms
• Complexity of t-tautologies
• Disjunction property and complexity of substructural logics
• Equational bases for joins of residuated-lattice varieties
• Equational characterization of the subvarieties of BL generated by t-norm algebras
• scientific article; zbMATH DE number 6276270 (Why is no real title available?)
• Logics without the contraction rule and residuated lattices
• Metamathematics of fuzzy logic
• On the structure of semi-groups on a compact manifold with boundary
• Ramsey methods in analysis
• Residuated lattices. An algebraic glimpse at substructural logics
• Varieties of BL-algebras. I: General properties.

Cited in

(6)

• Subvarieties of BL-algebras generated by single-component chains
• On strong standard completeness in some \(\mathrm{MTL}_\Delta\) expansions
• Varieties of BL-algebras. II
• Fuzzy sets and formal logics
• Free algebras in varieties of BL-algebras generated by a chain.
• Free algebras in varieties of BL-algebras generated by a BL_n-chain

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2454042)