Some Computational Aspects of Inconsistency-Adaptive Logics
暂无分享,去创建一个
[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 .