This coming Wednesday, May 11 at 4pm CET, we will have the next session of the Logica Universalis Webinar with a talk by Alexei Muravitsky Louisiana Scholars’ College, Northwestern State University, USA https://my.nsula.edu/my/mobile/faculty/facprofile.php?fid=alexeim Title: "On Nonmonotonic Consequence Relations'' Abstract: We discuss nonmonotonic reasoning in terms of consequence relations and corresponding operators. Based on the matrix consequence that gives the monotonic case, we define a restricted matrix consequence that illustrates the nonmonotonic case. The latter is a generalization of the relation of logical friendliness introduced by D. Makinson. We prove that any restricted single matrix consequence, although it may be nonmonotonic, is always weakly monotonic and, in the case of a finite matrix, the restricted matrix consequence is very strongly finitary. Further, by modifying the definition of logical friendliness relation formulated specifically in a proof-theoretic manner, we show a possibility of obtaining other reflexive nonmonotonic consequence relations, for which a limited result towards finitariness is proved. This leads to numerous questions about nonmonotonic consequence relations in the segment between the monotonic consequence relation based on intuitionistic propositional logic and logical friendliness. https://link.springer.com/article/10.1007/s11787-021-00275-4
Everybody is welcome to join: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau Organizer of LUW and President of LUA http://www.logica-universalis.org/LUAD -- https://www.vidal-rosset.net/mailing_list_educasupphilo.html