Hellenic-Romanian Logic and Computation Seminar

http://imar.ro/~diacon/HRLogComp/HRLogicComputSeminar.ht 

Monday 15th of December at 18.00 GR/RO time  

link: https://meet.jit.si/HRLogicComputSeminar

Title: Abstract Foundations for Non-Monotonic Systems
Speaker: Prof. George Voutsadakis 

Abstract: Ordinarily in logical studies, logical consequence is abstractly represented in the form of a closure operator on the formula algebra or, more generally on any algebra of a specific type. This representation requires that the logic satisfies the axioms of inflationarity and monotonicity. However, in a number of applied contexts one needs to study logical systems that do not necessarily conform to these requirements, most notably non-monotonic logics. We provide the rudiments of an abstract experimental framework that could serve as a platform for formalizing and studying an abstract algebraic hierarchy of non-monotonic logics akin to the Leibniz hierarchy, which forms the cornerstone of the traditional theory of Abstract Algebraic Logic.

Short bio: George Voutsadakis did his undergraduate studies in Computer Engineering and Informatics at the University of Patras and his graduate studies in Mathematics and in Computer Science at Iowa State University. He is currently teaching Mathematics at Lake Superior State University in Michigan’s Upper Peninsula. His main area of interest is Algebraic Logic. For the 2025-26 Academic Year he is on Sabbatical visiting the School of Applied Mathematical and Physical Sciences of the National Technical University of Athens.