LUW May 11: On Nonmonotonic Consequence Relations by Alexei Muravitsky

[jean-yves beziau]

This coming Wednesday, May 11 at 4pm CET,
we will have the next session of the Logica Universalis 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220510/e105d71d/attachment-0001.html>