A procedural criterion for final derivability in inconsistency-adaptive logics

Journal of Applied Logic 3 (1):221-250 (2005)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2004.07.018

Other Versions

No versions found

Links

PhilArchive

External links

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

Through your library

My notes

Similar books and articles

On classical adaptive logics of induction* Diderik Batens and Lieven Haesaert.Logique A. Analyse - 2001 - Logique Et Analyse 44:255.
Dirk Batens, editorial note 3 Andrzej Wisniewski, questions and inferences 5 Diderik Batens, a general characterization of adaptive logics. 45 Mariusz Urbanski, synthetic tableaux and erotetic search scenarios: Extension and extraction 69. [REVIEW]Liza Verhoeven, All Premises Are Equal, But Some Are More, Erik Weber, Maarten van Dyck & Adaptive Logic - 2001 - Logique Et Analyse 44:1.
On Algorithmic Properties of Propositional Inconsistency-Adaptive Logics.Sergei P. Odintsov & Stanislav O. Speranski - 2012 - Logic and Logical Philosophy 21 (3):209-228.
Adaptive Logic as a Modal Logic.Patrick Allo - 2013 - Studia Logica 101 (5):933-958.
The generation of abductive explanations from inconsistent theories.Dagmar Provijn - 2012 - Logic Journal of the IGPL 20 (2):400-416.
Inconsistency-adaptive modal logics. On how to cope with modal inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
Inconsistency-Adaptive Dialogical Logic.Mathieu Beirlaen & Matthieu Fontaine - 2016 - Logica Universalis 10 (1):99-134.
The Undecidability of Propositional Adaptive Logic.Leon Horsten & Philip Welch - 2007 - Synthese 158 (1):41-60.
Minimal-Inconsistency Tolerant Logics: A Quantitative Approach.Christian Strasser & Sanderson Molick Silva - 2025 - Australasian Journal of Logic 22 (3):308-365.
Minimal inconsistency-tolerant logics: a quantitative approach.Christian Strasser & Sanderson Molick - 2025 - Australasian Journal of Logic 22 (03):308-365.

Analytics

Added to PP
2016-06-30

Downloads
41 (#1,355,281)

6 months
4 (#1,749,342)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Diderik Batens
Diderik Batens
University of Ghent

Citations of this work

A universal logic approach to adaptive logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
Assertion, denial and non-classical theories.Greg Restall - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli, Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 81--99.
Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.Koji Tanaka - 2012 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli, Paraconsistency: Logic and Applications. Dordrecht, Netherland: Springer. pp. 15--25.
A formal logic for abductive reasoning.Joke Meheus & Diderik Batens - 2006 - Logic Journal of the IGPL 14 (2):221-236.

View all 27 citations / Add more citations

References found in this work

On Inferences from Inconsistent Premises.Nicholas Rescher & Ruth Manor - 1970 - Theory and Decision 1 (2):179-217, 1970-1971.
The Logic of Pragmatic Truth.Newton C. A. da Costa, Otávio Bueno & Steven French - 1998 - Journal of Philosophical Logic 27 (6):603-620.

View all 12 references / Add more references