Algebraic Aspects of Propositional Logic, and Future Work in Defeasible Reasoning
From International Center for Computational Logic
Algebraic Aspects of Propositional Logic, and Future Work in Defeasible Reasoning
Talk by Nicholas Leisegang
- Location: APB 3027
- Start: 18. July 2024 at 11:00 am
- End: 18. July 2024 at 12:00 pm
- Research group: 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.