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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,556

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

Inconsistency-adaptive modal logics. On how to cope with modal inconsistency.Hans Lycke - 2010 - Logic and Logical Philosophy 19 (1-2):31-61.
On Algorithmic Properties of Propositional Inconsistency-Adaptive Logics.Sergei P. Odintsov & Stanislav O. Speranski - 2012 - Logic and Logical Philosophy 21 (3):209-228.
Towards the Unification of Inconsistency Handling Mechanisms.Diderik Batens - 2000 - Logic and Logical Philosophy 8:5-31.
A universal logic approach to adaptive logics.Diderik Batens - 2007 - Logica Universalis 1 (1):221-242.
A dynamic semantics for inconsistency-adaptive logics.Diderik Batens - 1998 - Bulletin of the Section of Logic 27 (15-8):5l.
Shortcuts and dynamic marking in the tableau method for adaptive logics.Diderik Batens & Joke Meheus - 2001 - Studia Logica 69 (2):221-248.
Inconsistency-Adaptive Logics.Diderik Batens - 1999 - In Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Springer. pp. 445-472.
Computability Issues for Adaptive Logics in Multi-Consequence Standard Format.Sergei P. Odintsov & Stanislav O. Speranski - 2013 - Studia Logica 101 (6):1237-1262.
New arguments for adaptive logics as unifying frame for the defeasible handling of inconsistency.Diderik Batens - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 101--122.
HL2, an inconsistency-adaptive and inconsistency-resolving logic for general statements that might have exceptions.Guido Vanackere - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):317-338.
Relevant derivability and classical derivability in Fitch-style and axiomatic formulations of relevant logics.Diderik Batens & Jean Paul Van Bendegem - 1985 - Logique Et Analyse 109 (9):22-31.
Two New Strategies for Inconsistency-Adaptive Logics.Kristof De Clercq - 2000 - Logic and Logical Philosophy 8:65-80.
On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit.Diderik Batens, Christian Strasser & Peter Verdée - 2009 - Logique Et Analyse 52 (207):281-304.
Logics for Qualitative Inductive Generalization.Diderik Batens - 2011 - Studia Logica 97 (1):61 - 80.
On the philosophical motivations for the logics of formal consistency and inconsistency.Walter Carnielli & Rodrigues Abilio - manuscript

Analytics

Added to PP
2016-06-30

Downloads
11 (#1,129,983)

6 months
6 (#509,125)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

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.
Wittgenstein on Incompleteness Makes Paraconsistent Sense.Francesco Berto - 2008 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 257--276.
A formal logic for abductive reasoning.Joke Meheus & Diderik Batens - 2006 - Logic Journal of the IGPL 14 (2):221-236.

View all 10 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.
Two New Strategies for Inconsistency-Adaptive Logics.Kristof De Clercq - 2000 - Logic and Logical Philosophy 8:65-80.

View all 7 references / Add more references