Algebraic Aspects of Propositional Logic, and Future Work in Defeasible Reasoning
Aus International Center for Computational Logic
Algebraic Aspects of Propositional Logic, and Future Work in Defeasible Reasoning
Vortrag von Nicholas Leisegang
- Veranstaltungsort: APB 3027
- Beginn: 18. Juli 2024 um 11:00
- Ende: 18. Juli 2024 um 12:00
- Forschungsgruppe: Computational Logic
- Event series: Research Seminar Logic and AI
- iCal
This talk will consist of two parts. In the first part, I will discuss work from my masters thesis on algebraic aspects of propositional logic. In particular, I will provide a brief introduction into universal algebra, and describe how a propositional theory of logic corresponds to a variety of universal algebra in a generalized setting. Using this correspondence and certain examples, we will then characterise a notion of completeness in an algebraic setting for propositional logics.
In the second part of the talk, I will talk a little bit about the area of interest and the central questions for my PhD studies. Specifically, I will give a brief introduction to KLM style defeasibility and introduce the problems I am working on with regards to introducing KLM-style reasoning into more expressive logics.
