On the Transitivity of Logical Consequence without Assuming Monotonicity

Logica Universalis:1-16 (forthcoming)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On Nonmonotonic Consequence Relations.Alexei Muravitsky - 2021 - Logica Universalis 15 (2):227-249.
A General Theory of Structured Consequence Relations.Dov M. Gabbay - 1995 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 10 (2):49-78.
Choosing Your Nonmonotonic Logic: A Shopper’s Guide.Ulf Hlobil - 2018 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2017. London: College Publications. pp. 109-123.
A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil - 2016 - In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2015. College Publications. pp. 87-105.
When Structural Principles Hold Merely Locally.Ulf Hlobil - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 53-67.
Nonmonotonic inference operations.Michael Freund & Daniel Lehmann - 1993 - Logic Journal of the IGPL 1 (1):23-68.

Analytics

Added to PP
2024-02-27

Downloads
10 (#1,221,414)

6 months
10 (#308,797)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Xuefeng Wen
Sun Yat-Sen University
Lin Chen
NanJing University

Citations of this work

No citations found.

Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Tolerant, Classical, Strict.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2012 - Journal of Philosophical Logic 41 (2):347-385.
On Inferences from Inconsistent Premises.Nicholas Rescher & Ruth Manor - 1970 - Theory and Decision 1 (2):179-217, 1970-1971.

View all 8 references / Add more references