LUW May 11: On Nonmonotonic Consequence Relations by Alexei Muravitsky
8 views
Skip to first unread message
jean-yves beziau
May 10, 2022, 1:26:43 PM5/10/22
to Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
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
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:
Jean-Yves Beziau
Organizer of LUW and President of LUA
Reply all
Reply to author
Forward
0 new messages