论文信息 - Some Computational Aspects of Inconsistency-Adaptive Logics

Some Computational Aspects of Inconsistency-Adaptive Logics

This paper concerns a goal directed proof procedure for the propositional fragment of the adaptive logic ACLuN1. The procedure forms an algorithm for final derivability and may easily be generalized for the propositional fragment of all flat adaptive logics. The aim is to articulate a procedure that, if extended to the predicative level, provides criteria for

Diderik Batens

[1] A. Avron,et al. Formula-Preferential Systems for Paraconsistent Non-Monotonic Reasoning (an extended abstract) , 2001 .

[2] D. Batens,et al. Pushing the Search Paths in the Proofs. A Study in Proof Heuristics , 2003 .

[3] Didier Dubois,et al. Some Syntactic Approaches to the Handling of Inconsistent Knowledge Bases: A Comparative Study Part 1: The Flat Case , 1997, Stud Logica.

[4] D. Batens. TOWARDS THE UNIFICATION OF INCONSISTENCY HANDLING MECHANISMS , 2004 .

[5] Diderik Batens,et al. Blocks: the clue to dynamic aspects of logic , 1997 .

[6] Diderik Batens. A Dynamic Characterization of the Pure Logic of Relevant Implication , 2001, J. Philos. Log..

[7] L. R. Harris. Hypothetical reasoning , 1989 .

[8] Diderik Batens,et al. Zero logic adding up to classical logic , 1999 .

[9] D. Batens. A General Characterization of Adaptive Logics , 2001 .

[10] Diderik Batens. The Need for Adaptive Logics In Epistemology , 2004, Logic, Epistemology, and the Unity of Science.

[11] Diderik Batens. Inconsistency-Adaptive Logics , 1999 .

[12] Diderik Batens,et al. Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics , 2001, Stud Logica.

[13] Diderik Batens. A Strengthening of the Rescher--Manor Consequence Relations , 2003 .

[14] George Boolos,et al. Computability and logic , 1974 .

[15] H. Rasiowa,et al. Logic at work : essays dedicated to the memory of Helena Rasiowa , 1999 .