A procedural criterion for final derivability in inconsistency-adaptive logics
type: Item
instance of: scholarly article
title: A procedural criterion for final derivability in inconsistency-adaptive logics
zbMATH Open document ID: 1063.03010
author: Diderik Batens
published in: Journal of Applied Logic
publication date: 2005-05-04T00:00:00Z
Mathematics Subject Classification ID: 03B53
zbMATH DE Number: 2165051
zbMATH Keywords: Criteria for final derivability
zbMATH Keywords: Adaptive logics
zbMATH Keywords: Nonmonotonic reasoning
zbMATH Keywords: Paraconsistency
MaRDI profile type: Publication
full work available at URL: j.jal.2004.07.018
OpenAlex ID: W2067029596
cites work: Q4085699
cites work: Q3470454
cites work: Q4888328
cites work: Blocks. The clue to dynamic aspects of logic
cites work: Q4250060
cites work: Q4329282
cites work: Towards the unification of inconsistency handling mechanisms
cites work: A dynamic characterization of the pure logic of relevant implication
cites work: Q4811768
cites work: Q5711868
cites work: Q4678452
cites work: Q2721192
cites work: Shortcuts and dynamic marking in the tableau method for adaptive logics
cites work: Q4811771
cites work: Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case
cites work: Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. I: The flat case
cites work: Q4250061
cites work: Signed systems for paraconsistent reasoning
cites work: Q3998431
cites work: Q3995236
cites work: The logic of pragmatic truth
cites work: Two new strategies for inconsistency-adaptive logics
cites work: Q4549875
cites work: Q4811772
cites work: Q4440560
cites work: Deductive and ampliative adaptive logics as tools in the study of creativity
cites work: Pragmatic truth and approximation to truth
cites work: Q4762204
cites work: Q5551124
cites work: On inference from inconsistent premisses
cites work: Q3285631
cites work: Q5560258
cites work: Preferences as inconsistency-resolvers: The Inconsistency-adaptive Logic PRL
cites work: HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions
cites work: Q4678454
DOI: 10.1016/J.JAL.2004.07.018
description: scientific article; zbMATH DE number 2165051