TL;DR
This paper characterizes injective objects within various classes of algebraic structures related to logic, including residuated lattices and several subclasses like MTL-algebras and BL-algebras.
Contribution
It provides a comprehensive characterization of injectives across multiple logical algebra classes, extending previous understanding in algebraic logic.
Findings
Injectives are characterized in residuated lattices and related classes.
Results include specific descriptions for MTL, IMTL, BL, NM-algebras, and bounded hoops.
The work advances the algebraic understanding of logical structures.
Abstract
Injectives in several classes of structures associated with logic are characterized. Among the classes considered are residuated lattices, MTL-algebras, IMTL-algebras, BL-algebras, NM-algebras and bounded hoops.
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 · Logic, Reasoning, and Knowledge · Rough Sets and Fuzzy Logic