On pseudo BL-algebras and pseudo hoops with normal maximal filters
Michal Botur, Anatolij Dvure\v{c}enskij
TL;DR
This paper investigates pseudo BL-algebras where all maximal filters are normal, providing an equational basis and extending results to basic pseudo hoops with a fixed strong unit.
Contribution
It introduces an equational base for pseudo BL-algebras with normal maximal filters and extends findings to basic pseudo hoops with a fixed strong unit.
Findings
Established an equational basis for the class
Extended results to basic pseudo hoops with a fixed strong unit
Characterized pseudo BL-algebras with all maximal filters normal
Abstract
We study the class of pseudo BL-algebras whose every maximal filter is normal. We present an equational base for this class and we extend these results for the class of basic pseudo hoops with fixed strong unit.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Algebra and Logic · Rough Sets and Fuzzy Logic · Fuzzy and Soft Set Theory