论文标题
两种非单调结果模式
Two Modes of Nonmonotonic Consequence
论文作者
论文摘要
这是我在2022年5月11日举行的Logica Universalis网络研讨会上演讲的文字。 我讨论了在任意命题语言中实施非单调后果关系的语义方法的两种方法。对于一种特定的语言，我们还讨论了我们与这种语义方法联系的证明理论框架。
This is the text of my speech at the Logica Universalis webinar, which took place on May 11, 2022. I discuss two ways to implement a semantic approach to nonmonotonic consequence relations in an arbitrary propositional language. For one particular language, we also discuss the proof-theoretic framework that we connect with this semantic approach.
