Date: | 2022, October 25 |
Time: | 10:00 a. m. |
Place: | G29-018 |
Author: | Stage, Alexander |
Title: | Infer Correlations Among Many-Valued Logics. An Algebraic and Category Theoretic Approach |
Many-valued logics are gaining more and more importance in different areas of research. Thus, it is helpful to have a good overview of these logics at hand in order to be guided by propositions about them for effective implementations in the applied sciences. Using algebra, the internal structure over the logics can be axiomatized and useful morphisms can be formed. Furthermore, category theory can be used to find correlations among logics that are structurally different but still share certain properties. The thesis that follows the talk is intended to be a handy summary that helps in working with many-valued logics in theory and application.