On the transitivity of Logical Consequence without Assuming Monotonicity
Lin Chen and Xuefeng Wen
Abstract
Speakers
AI Outline
Discussion
On the transitivity of Logical Consequence without Assuming Monotonicity

Lin Chen
Sun Yat-sen University
Xuefeng Wen
Sun Yat-sen University
We generalize Ripley’s results on the transitivity of consequence relation, without assuming a logic to be monotonic. Following Gabbay, we assume nonmonotonic consequence relation to be inclusive and cautious monotonic, and figure out the implications between different forms of transitivity of logical consequence. Weaker frameworks without inclusiveness or cautious monotonicity are also discussed. The paper may provide basis for the study of both non-transitive logics and nonmonotonic ones.
References
Logica Universalis Webinars
Logica UniversalisCite as
L. Chen and X. Wen (2024, February 28), On the transitivity of Logical Consequence without Assuming Monotonicity
Share
Details
Listed seminar This seminar is open to all
Recorded Available to all
Video length 1:13:24
Q&A Now closed
Disclaimer The views expressed in this seminar are those of the speakers and not necessarily those of the journal