A non-associative generalization of Hájek's BL-algebras

DOI10.1016/J.FSS.2011.02.015zbMATH Open1252.03145OpenAlexW2066108046MaRDI QIDQ409739FDOQ409739

Authors: Michal Botur 

Publication date: 13 April 2012

Published in: Fuzzy Sets and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.fss.2011.02.015

Recommendations

• Axiomatization of non-associative generalisations of Hájek's BL and psBL
• Prelinear and involution non-associative residuated lattices
• Some classes of pseudo-BL algebras
• On the structure of generalized BL-algebras
• scientific article; zbMATH DE number 1902541

zbMATH Keywords

fuzzy logicBL-algebrasnaBL-algebrasnon-associative logicnon-associative residuated lattices

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25)

Cites Work

• An introduction to copulas. Properties and applications
• Metamathematics of fuzzy logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mathematics behind fuzzy logic
• Conjunctors and their residual implicators: characterizations and construction methods
• Extension to copulas and quasi-copulas as special \(1\)-Lipschitz aggregation operators.
• Residuated Lattices
• On copulas, quasicopulas and fuzzy logic
• Non-classical logics and their applications to fuzzy subsets. A handbook of the mathematical foundations of fuzzy set theory. Proceedings of the 14th Linz seminar on fuzzy set theory held at Linz, Austria in the second week of September 1992
• Title not available (Why is that?)
• Many-valued quantum algebras
• Commutative basic algebras and non-associative fuzzy logics
• An example of a commutative basic algebra which is not an MV-algebra
• Semilattice structures.
• Finite commutative basic algebras are MV-effect algebras
• A basic algebra is an MV-algebra if and only if it is a BCC-algebra
• Complete commutative basic algebras
• Modeling holistic fuzzy implication using co-copulas
• Title not available (Why is that?)
• On the variety generated by bounded pseudo-BCK-algebras
• The variety of lattice effect algebras generated by MV-algebras and the horizontal sum of two 3-element chains

Cited In (17)

• Finite coverability property
• On the structure of generalized BL-algebras
• Implicational (semilinear) logics. III: Completeness properties
• Nonassociative substructural logics and their semilinear extensions: axiomatization and completeness properties
• The variety of modular basic algebras generated by MV-chains and horizontal sums of three-element chain basic algebras
• Prelinear and involution non-associative residuated lattices
• Axiomatization of non-associative generalisations of Hájek's BL and psBL
• Title not available (Why is that?)
• On a new construction of pseudo BL-algebras
• Inflationary BL-algebras obtained from 2-dimensional general overlap functions
• Q-filters of quantum B-algebras and basic implication algebras
• Commutative basic algebras and non-associative fuzzy logics
• Fuzzy Logics with Noncommutative Conjuctions
• Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.
• Title not available (Why is that?)
• A survey of generalized Basic Logic algebras
• Operators on Pavelka's algebras induced by fuzzy relations

This page was built for publication: A non-associative generalization of Hájek's BL-algebras

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